Practical quickcheck implementation for JavaScript