Export withDepth from T.SmallCheck
Generalize withDepth type
withDepth1
Some tests for withDepth
Test.SmallCheck.Property.Result
Add pretty-printing
Use pretty-printing in the driver
Change wording
Add dependency on pretty
Export PropertyFailure and ppFailure from Drivers
Remove property
Drivers: no prune
Export more Property stuff from Drivers
Hide Test.SmallCheck.Property
Change Drivers module description