build

refactor: remove repetitive folds in `Z3Context` #7019

Job	Run time
scaladoc-check	2m 59s
format-check	3m 59s
compiler-warnings	2m 37s
build-mdbook	3s
docker-tests	20m 32s
integration-tests (ubuntu-latest, oopsla19)	19m 2s
integration-tests (ubuntu-latest, arrays)	16m 39s
unit-tests (ubuntu-latest)	5m 21s
integration-tests (macos-latest, oopsla19)	18m 8s
unit-tests (macos-latest)	3m 36s
	1h 32m 56s

Provide feedback