a Ruby port of the QuickCheck unit test framework