Generative property testing for Jasmine