feat: invariant benchmarks

[Evalir]

We should add benchmarks for invariants, so we have clear data on how to improve them. See https://github.com/foundry-rs/foundry/issues/4433 for more details.

[grandizzy]

Proposed action plan:

• run https://github.com/foundry-rs/foundry/issues/4590
• set up daily runner of https://github.com/grandizzy/fuzz-benchmarks/ + add more tests
• collect data and generate report as suggested in https://github.com/fuzz-evaluator/guidelines