Generative property testing for Mocha