Can someone remind me how to change the number of tests that QuickCheck performs? I'm sure I knew how to do this but I can't find it in the documentation and a web search revealed no examples. Thanks, Dominic.