Added some property based testing examples