Propagate z3 parameters in the tuning options #6976

Job	Run time
docker-tests	20m 45s
compiler-warnings	2m 21s
format-check	3m 58s
build-mdbook	11s
scaladoc-check	2m 53s
integration-tests (ubuntu-latest, oopsla19)	19m 3s
unit-tests (ubuntu-latest)	5m 23s
integration-tests (ubuntu-latest, arrays)	9m 15s
unit-tests (macos-latest)	5m 55s
integration-tests (macos-latest, oopsla19)	16m 47s
	1h 26m 31s

Provide feedback