hypothesis testing

[r-leyshon]

property based testing a la https://github.com/HypothesisWorks/hypothesis/tree/hypothesis-python-4.57.1