Improve counterexample shrinking for invariant tests

[popescuoctavian]

See:

• https://github.com/foundry-rs/foundry/releases/tag/v1.5.0
• fix(invariant): revisit sequence indices and respect shrink limit foundry-rs/foundry#12180
• feat(invariant): shrink failure when replayed foundry-rs/foundry#12351