Add transitional trait HasMaxDiscarded to handle case of implicitly converted PropertyCheckConfig and a minSuccessful usage.