build

`UninterpretedConstOracle` refactor #6286

Job	Run time
docker-tests	25m 5s
compiler-warnings	3m 2s
format-check	6m 40s
build-mdbook	6s
integration-tests (ubuntu-latest, oopsla19)	20m 42s
integration-tests (ubuntu-latest, arrays)	14m 26s
integration-tests (macos-latest, oopsla19)	37m 52s
scaladoc-check	3m 56s
unit-tests (ubuntu-latest)	14m 55s
unit-tests (macos-latest)	13m 44s
	2h 20m 28s

Provide feedback