hevm 0.52 #1719

Job	Run time
Build Echidna on ubuntu-20.04	19m 10s
Build Echidna on macos-latest	28m 18s
Build Echidna on windows-latest	27m 17s
Test with solc 0.4.25 on ubuntu-latest	4m 11s
Test with solc 0.5.7 on ubuntu-latest	4m 25s
Test with solc 0.6.12 on ubuntu-latest	3m 50s
Test with solc 0.7.5 on ubuntu-latest	4m 40s
Test with solc 0.4.25 on windows-latest	4m 40s
Test with solc 0.5.7 on windows-latest	5m 12s
Test with solc 0.6.12 on windows-latest	4m 33s
Test with solc 0.7.5 on windows-latest	5m 38s
	1h 51m 54s

Provide feedback