QuickCheck 2.5.1 dropped the maxDiscard field

Work around this change to support current versions of the QuickCheck library.