Upgrade `hevm` to upstream `main` #2084

Job	Run time
Build Echidna on ubuntu-20.04	22m 32s
Build Echidna on macos-13	34m 40s
Build Echidna on windows-latest	33m 25s
Test with solc 0.4.25 on ubuntu-latest	3m 11s
Test with solc 0.5.7 on ubuntu-latest	3m 45s
Test with solc 0.6.12 on ubuntu-latest	3m 27s
Test with solc 0.7.5 on ubuntu-latest	3m 28s
Test with solc 0.4.25 on windows-latest	3m 52s
Test with solc 0.5.7 on windows-latest	5m 29s
Test with solc 0.6.12 on windows-latest	5m 3s
Test with solc 0.7.5 on windows-latest	4m 13s
	2h 3m 5s

Provide feedback