quickcheck 0.9.0

Automatic property based testing with shrinking.