Test

Disable more complete exhale. #7320

Job	Run time
check-deps	10m 42s
clippy-check	3m 32s
fmt-check	18s
quick-tests	6m 30s
smir-check	5s
purification-tests	26m 16s
release-build (ubuntu-latest)	7m 10s
all-tests (ubuntu-latest)	26m 57s
test-crates (0)	1h 0m 8s
release-build (windows-latest)	12m 42s
all-tests (windows-latest)	34m 35s
test-crates (1)	32m 15s
release-build (macos-latest)	18m 12s
all-tests (macos-latest)	55m 38s
test-crates (2)	43m 21s
test-on-prusti	0s
test-crates (3)	41m 52s
can-merge	3s
	6h 20m 16s

Provide feedback