Generative property testing for JavaScript