QuickCheck in JavaScript [DO NOT USE]