feat(forge): Remove proptest runner from fuzzed tests

[grandizzy]

Motivation

• support time based campaigns for stateless fuzz tests
• remove max rejection constraint from fuzz tests
• closes feat(fuzz): add coverage guided fuzzing for stateless tests (currently only invariant mode works) #10877
• towards forge test doesn't utilize all available threads for fuzzing/invariants #8898 and bug(forge test): --fail-fast flag does not work as it is not applied across multiple test suites #6529

Solution

• consolidate corpus config in FuzzCorpusConfig and use for both fuzz and invariants
• decouple CorpusManager from invariant config and reuse in fuzz tests (fuzz corpus is same as invariant but with a single tx; BasicTxDetails used in for both strategies and same corpus management). move logic for abi mutate in abi_mutate and use in both fuzz / invariants
• abi mutate strategies for uint, int, address and fixed bytes inspired from ityfuzz: BitFlipMutator / ByteInterestingMutator / WordInterestingMutator / DwordInterestingMutator / IncDecValue (applicable for uint, int only). Mutation of custom structs, tuples and dynamic arrays (increase / decrease size, mutate random element) https://github.com/fuzzland/ityfuzz/blob/master/src/mutation_utils.rs#L449-L452
• remove fuzz proptest, introduce time based campaigns
• remove test data refcells for invariants and fuzz, no longer needed without proptest runner (should also improve perf)
• unit tests

Maze comparison

Maze	PR coverage guided & abi mutations	v1.2.3
0	15 (invariants 16, 17, 18, 19, 27, 28, 29, 30, 34, 35, 38, 41, 42, 5, 9)	13 (invariants 16, 17, 18, 19, 27, 29, 30, 34, 35, 38, 42, 5, 9)
1	15 (invariants 12, 16, 17, 25, 26, 31, 32, 33, 37, 38, 39, 46, 47, 48, 5)	14 (invariants 12, 16, 17, 25, 26, 31, 33, 38, 39, 46, 47, 48, 5, 7)
2	TBD	16 (invariants 13, 14, 2, 26, 27, 29, 31, 33, 38, 39, 4, 40, 42, 43, 44, 46)
3	13 (invariants 1, 10, 12, 16, 25, 3, 33, 36, 40, 41, 6, 8, 9)	12 (invariants 10, 12, 16, 25, 3, 33, 36, 40, 41, 6, 8, 9)
4	18 (invariants 10, 11, 17, 22, 24, 27, 28, 32, 33, 36, 37, 38, 39, 41, 43, 45, 5, 6)	15 (invariants 10, 11, 17, 22, 27, 28, 32, 33, 36, 37, 41, 43, 5, 6)

PR Checklist

• Added Tests
• Added Documentation
• Breaking changes

stale

[DaniPopes]

lgtm, last nits