QuickCheck API changed from 2.4 to 2.5

The maxDiscard field does not exist any more. maxDiscardRatio has
slightly different semantics (see below). Not sure what the right value
should be.

maxDiscard:      maximum number of discarded tests before giving up
maxDiscardRatio: maximum number of discarded tests per successful test
                  before giving up