Skip redundant output from QuickCheck failure messages
Minor spec changes