Test

Disable the "more complete" exhale #7332

Job	Run time
check-deps	10m 29s
fmt-check	32s
clippy-check	3m 34s
quick-tests	6m 42s
smir-check	4s
purification-tests	48m 30s
release-build (ubuntu-latest)	7m 5s
release-build (windows-latest)	12m 55s
all-tests (ubuntu-latest)	17m 2s
test-crates (0)	56m 32s
all-tests (windows-latest)	19m 49s
release-build (macos-latest)	15m 19s
test-on-prusti	0s
test-crates (1)	31m 1s
all-tests (macos-latest)	24m 47s
test-crates (2)	40m 39s
test-crates (3)	41m 9s
can-merge	4s
	5h 36m 13s

Provide feedback