Upgrade `hevm` to upstream `main` #2059

Job	Run time
Build Echidna on ubuntu-20.04	5m 18s
Build Echidna on macos-13	5m 4s
Build Echidna on windows-latest	8m 32s
Test with solc 0.4.25 on ubuntu-latest	3m 15s
Test with solc 0.5.7 on ubuntu-latest	3m 19s
Test with solc 0.6.12 on ubuntu-latest	3m 17s
Test with solc 0.7.5 on ubuntu-latest	4m 3s
Test with solc 0.4.25 on windows-latest	3m 48s
Test with solc 0.5.7 on windows-latest	4m 18s
Test with solc 0.6.12 on windows-latest	4m 59s
Test with solc 0.7.5 on windows-latest	5m 19s
	51m 12s

Provide feedback