Describe the issue:

In certain cases, Echidna can get stuck while shrinking.

Example below:

When setting maxBlockDelay and maxTimeDelay to 1, it is easily shrunk further:

After further research I was able to determine that timestamps/blocks actually don't play a role in the breaking of this invariant at all. So it should have been able to shrink it further.

Code example to reproduce the issue:

The code is private, I can share the repo if you DM me on Slack

Version:

Echidna 2.2.3 (custom build from master)

Relevant log output:

No response