Property-based testing

WWW: https://hedgehog.qa
