Attempt to change generated property tests to use MaxDiscardRatio.