QuickCheck Ruby Port