more on property based testing in readme