Merge pull request #1317 from crytic/upgrade-hevm #2080

Job	Run time
Build Echidna on ubuntu-20.04	22m 4s
Build Echidna on macos-13	29m 40s
Build Echidna on windows-latest	31m 12s
Test with solc 0.4.25 on ubuntu-latest	3m 13s
Test with solc 0.5.7 on ubuntu-latest	3m 29s
Test with solc 0.6.12 on ubuntu-latest	3m 30s
Test with solc 0.7.5 on ubuntu-latest	3m 38s
Test with solc 0.4.25 on windows-latest	3m 25s
Test with solc 0.5.7 on windows-latest	4m 33s
Test with solc 0.6.12 on windows-latest	4m 20s
Test with solc 0.7.5 on windows-latest	5m 9s
	1h 54m 13s

Provide feedback