build

Propagate z3 parameters in the tuning options #6975

Job	Run time
build-mdbook	7s
docker-tests	21m 31s
compiler-warnings	2m 17s
format-check	3m 59s
integration-tests (ubuntu-latest, oopsla19)	19m 21s
scaladoc-check	2m 52s
integration-tests (ubuntu-latest, arrays)	10m 48s
unit-tests (ubuntu-latest)	4m 47s
integration-tests (macos-latest, oopsla19)	13m 9s
unit-tests (macos-latest)	4m 26s
	1h 23m 17s

Provide feedback