Build

Merge pull request #641 from ethereum/upd-more-precise-smt-address-en… #3149

Job	Run time
extra-tests (ubuntu-latest)	11m 4s
nix-build (linux-x64)	1h 26m 7s
extra-tests (macos-latest)	14m 43s
nix-build (osx-x64)	33m 48s
cabal-check	6m 24s
nix-build (osx-arm64)	18m 7s
bitwuzla-build (win64 target) / build	3s
build (windows-latest)	34m 27s
	3h 24m 43s

Provide feedback