WIP - replace maxDiscarded with maxDiscardedFactor.

TODO:
  - Update GenGen tests
  - Add tests for backwards compatibility of maxDiscard() and PropertyCheckConfig constructor.