build

refactor: remove repetitive folds in `Z3Context` #7048

Job	Run time
format-check	3m 52s
scaladoc-check	2m 49s
build-mdbook	5s
compiler-warnings	3m 1s
docker-tests	20m 16s
integration-tests (ubuntu-latest, oopsla19)	19m 15s
unit-tests (ubuntu-latest)	4m 56s
integration-tests (ubuntu-latest, arrays)	13m 2s
unit-tests (macos-latest)	5m 47s
integration-tests (macos-latest, oopsla19)	17m 4s
	1h 30m 7s

Provide feedback