Playing with property based testing in Ruby