Clean up test-crates (#1460) #7232

Job	Run time
check-deps	14m 48s
clippy-check	6m 19s
fmt-check	37s
quick-tests	10m 25s
smir-check	4s
all-tests (ubuntu-latest)	1h 23m 46s
purification-tests	53m 50s
all-tests (windows-latest)	15m 57s
release-build (ubuntu-latest)	13m 7s
test-crates (0)	1h 15m 14s
all-tests (macos-latest)	1h 49m 20s
release-build (windows-latest)	19m 7s
test-crates (1)	43m 36s
release-build (macos-latest)	18m 26s
test-on-prusti	0s
test-crates (2)	57m 10s
test-crates (3)	58m 33s
can-merge	4s
	9h 40m 23s

Provide feedback