build

Upgrade Z3 (restores linux/arm64 support) #7159

Job	Run time
compiler-warnings	2m 4s
docker-tests	21m 9s
format-check	3m 37s
build-mdbook	4s
integration-tests (ubuntu-latest, oopsla19)	18m 57s
scaladoc-check	2m 58s
integration-tests (ubuntu-latest, arrays)	17m 21s
unit-tests (ubuntu-latest)	4m 45s
integration-tests (macos-latest, oopsla19)	19m 31s
unit-tests (macos-latest)	4m 12s
	1h 34m 38s

Provide feedback