Upgrade `hevm` #2072

Job	Run time
Build Echidna on ubuntu-20.04	21m 23s
Build Echidna on macos-13	31m 33s
Build Echidna on windows-latest	33m 18s
Test with solc 0.4.25 on ubuntu-latest	3m 20s
Test with solc 0.5.7 on ubuntu-latest	3m 25s
Test with solc 0.6.12 on ubuntu-latest	3m 14s
Test with solc 0.7.5 on ubuntu-latest	3m 42s
Test with solc 0.4.25 on windows-latest	4m 7s
Test with solc 0.5.7 on windows-latest	4m 1s
Test with solc 0.6.12 on windows-latest	3m 36s
Test with solc 0.7.5 on windows-latest	5m 38s
	1h 57m 17s

Provide feedback