feat(forge): warp and roll on invariant tx

[grandizzy]

Motivation

• closes feat(invariant): fuzz timestamp and block number for each consecutive transaction #12332
• introduce max_time_delay and max_block_delay invariant configs to fuzz block timestamp and block number on consecutive tx
• display in solidity counterexample as

		vm.warp(block.timestamp + 446165);
		vm.roll(block.number + 28222);
		vm.prank(0x000000000000000000000000000000000000024c);
		Counter(0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f).increment();

and in regular counterexample as

		sender=0x000000000000000000000000000000000000024c addr=[src/Counter.sol:Counter]0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f warp=446165 roll=28222 calldata=increment() args=[]

CC @rappie

Solution

PR Checklist

• Added Tests
• Added Documentation
• Breaking changes

[mattsse]

oh I see,

this checks out, lgtm!