Build

Merge pull request #636 from ethereum/dump-end-states #3101

Job	Run time
nix-build (linux-x64)	1h 20m 34s
nix-build (osx-x64)	48m 59s
nix-build (osx-arm64)	24m 44s
cabal-check	6m 48s
extra-tests (ubuntu-latest)	10m 53s
extra-tests (macos-latest)	10m 34s
bitwuzla-build (win64 target) / build	2m 38s
build (windows-latest)	25m 53s
	3h 31m 3s

Provide feedback