Ruby Imperative Random Data Generator and Quickcheck