build

refactor: remove repetitive folds in `Z3Context` #7040

Job	Run time
compiler-warnings	2m 11s
build-mdbook	4s
format-check	3m 56s
integration-tests (ubuntu-latest, oopsla19)	19m 21s
scaladoc-check	3m 2s
unit-tests (ubuntu-latest)	5m 12s
integration-tests (ubuntu-latest, arrays)	9m 13s
docker-tests	21m 38s
unit-tests (macos-latest)	3m 3s
integration-tests (macos-latest, oopsla19)	18m 46s
	1h 26m 26s

Provide feedback