Test

Disable MIR optimizations in tests (#1507) #7375

Job	Run time
check-deps	10m 53s
clippy-check	3m 21s
fmt-check	25s
quick-tests	6m 28s
smir-check	2s
purification-tests	26m 30s
all-tests (ubuntu-latest)	26m 4s
release-build (ubuntu-latest)	7m 10s
all-tests (windows-latest)	32m 12s
release-build (windows-latest)	13m 46s
test-crates (0)	59m 43s
test-on-prusti	0s
release-build (macos-latest)	23m 34s
test-crates (1)	32m 20s
all-tests (macos-latest)	35m 54s
test-crates (2)	44m 29s
test-crates (3)	38m 47s
can-merge	1s
	6h 1m 39s

Provide feedback