Merge pull request #1773 from Ayrx/hypothesis

Property based testing with Hypothesis