Property-based testing

WWW: https://armcn.github.io/quickcheck
