quickcheck 0.2.3

Automatic property based testing with shrinking.