My use case: we are fairly big project and our tests are painfully slow due to default = 1000 iterations. I'd like to reduce to low number in local devloop yet use something higher in the CI. Unfortunately right now I have to specify
checkAll(minIterationsForThatTestCase,*)
explicitly to work-around failures and thus can't use higher number easily in the CI (of course I can create my own wrapper over