Merge pull request #81 from MaxG87/master

Add property-based fuzz test