Add GeneratorDrivenPropertyChecks exists and generated tests.
For 'exists' parameters, disallow setting MinSuccessful and MaxDiscardedFactor, since these appear to be ignored by ScalaCheck's Prop.exists method.