quickcheck 0.7.1

Automatic property based testing with shrinking.