quickcheck 0.8.5

Automatic property based testing with shrinking.