title: Test.Framework 'plusTestOptions' and 'testProperty'
body: <p>I've got an individual QuickCheck2 property I'd like to run more than the standard 100 times, but I've gotten stuck on how to convince <code>Test.Framework</code> to run more using <code>plusTestOptions</code> -- the <code>testProperty</code> fails with "Arguments exhausted after 0 tests".</p>
  
  <p>Relevant code snippet:</p>
  
  <pre><code>mkMsysTests :: TestArgs -&gt; [Test]
  mkMsysTests opts =
    [ testGroup "foo"
      [ plusTestOptions testOptions_more (testProperty "bar" prop_bar) ]
    ]
  
  testOptions_more =
    TestOptions { topt_seed = Nothing
                , topt_maximum_unsuitable_generated_tests = Nothing
                , topt_maximum_test_size = Just 500
                , topt_maximum_test_depth = Nothing
                , topt_timeout = Nothing
                , topt_maximum_generated_tests = Just 10000
                }
  </code></pre>
  
  <p>Theoretically, this should test the property 10,000 times. But it doesn't. Is there any good documentation or example that demonstrates how to use <code>TestOptions</code> to run property tests more than the standard 100 times?</p>