A quickcheck library for JavaScript