Add hypothesis
for property based testing
#467
Merged
hypothesis
for property based testing
#467