Update hevm to 0.51.3 #1593

Job	Run time
Build Echidna on ubuntu-20.04	34m 46s
Build Echidna on ubuntu-20.04	34m 46s
Build Echidna on macos-latest	34m 8s
Build Echidna on macos-latest	34m 8s
Build Echidna on windows-latest	38m 9s
Build Echidna on windows-latest	38m 9s
Test with solc 0.4.25 on ubuntu-latest	4m 27s
Test with solc 0.4.25 on ubuntu-latest	4m 27s
Test with solc 0.5.7 on ubuntu-latest	5m 11s
Test with solc 0.5.7 on ubuntu-latest	4m 23s
Test with solc 0.6.12 on ubuntu-latest	3m 49s
Test with solc 0.6.12 on ubuntu-latest	3m 49s
Test with solc 0.7.5 on ubuntu-latest	5m 0s
Test with solc 0.7.5 on ubuntu-latest	5m 0s
Test with solc 0.4.25 on windows-latest	6m 49s
Test with solc 0.4.25 on windows-latest	6m 49s
Test with solc 0.5.7 on windows-latest	6m 52s
Test with solc 0.5.7 on windows-latest	6m 52s
Test with solc 0.6.12 on windows-latest	7m 33s
Test with solc 0.6.12 on windows-latest	7m 33s
Test with solc 0.7.5 on windows-latest	5m 53s
Test with solc 0.7.5 on windows-latest	5m 53s
	5h 4m 26s

Provide feedback