Upgrade hevm to latest `echidna-patches` commit #1887

Job	Run time
Build Echidna on ubuntu-20.04	21m 25s
Build Echidna on macos-13	29m 56s
Build Echidna on windows-latest	24m 22s
Test with solc 0.4.25 on ubuntu-latest	2m 2s
Test with solc 0.5.7 on ubuntu-latest	2m 21s
Test with solc 0.6.12 on ubuntu-latest	2m 3s
Test with solc 0.7.5 on ubuntu-latest	2m 45s
Test with solc 0.4.25 on windows-latest	3m 38s
Test with solc 0.5.7 on windows-latest	3m 43s
Test with solc 0.6.12 on windows-latest	4m 3s
Test with solc 0.7.5 on windows-latest	4m 11s
	1h 40m 29s

Provide feedback