Draft randomized testing, quickcheck