withUnlimitedExamples() combined with withTestingTime() doesn't seem to be obeyed

[yongk802]

When I use these two together, I get stuck in an infinite loop instead. I created a minimal project reproducing this behavoir. I would expect it to behave as the java docs say, which is that withTestingTime() would apply and end the tests, but it does not.

Please see here:

https://github.com/yongk802/quicktheory-unlimited-test

We're working around it by just using withExamples() and giving it a high number.

Thanks!