Property based testing with ruby and rantly