build

Upgrade Z3 (restores linux/arm64 support) #7158

Job	Run time
compiler-warnings	2m 37s
docker-tests	21m 6s
format-check	4m 12s
build-mdbook	6s
integration-tests (ubuntu-latest, oopsla19)	18m 4s
scaladoc-check	2m 57s
integration-tests (ubuntu-latest, arrays)	19m 4s
unit-tests (ubuntu-latest)	7m 16s
integration-tests (macos-latest, oopsla19)	11m 43s
unit-tests (macos-latest)	5m 56s
	1h 33m 1s

Provide feedback