Upgrade `hevm` to upstream `main` #2058

Job	Run time
Build Echidna on ubuntu-20.04	5m 17s
Build Echidna on macos-13	33m 59s
Build Echidna on windows-latest	32m 1s
Test with solc 0.4.25 on ubuntu-latest	3m 21s
Test with solc 0.5.7 on ubuntu-latest	3m 22s
Test with solc 0.6.12 on ubuntu-latest	3m 27s
Test with solc 0.7.5 on ubuntu-latest	3m 40s
Test with solc 0.4.25 on windows-latest	3m 50s
Test with solc 0.5.7 on windows-latest	4m 14s
Test with solc 0.6.12 on windows-latest	4m 22s
Test with solc 0.7.5 on windows-latest	5m 20s
	1h 42m 53s

Provide feedback