Test

Update readme #7341

Job	Run time
clippy-check	4m 44s
check-deps	10m 37s
quick-tests	6m 55s
fmt-check	25s
smir-check	2s
purification-tests	27m 5s
all-tests (ubuntu-latest)	28m 2s
all-tests (windows-latest)	32m 35s
release-build (ubuntu-latest)	7m 41s
test-crates (0)	1h 0m 12s
release-build (windows-latest)	13m 1s
all-tests (macos-latest)	46m 1s
test-on-prusti	0s
test-crates (1)	33m 26s
release-build (macos-latest)	18m 13s
test-crates (2)	45m 6s
test-crates (3)	41m 36s
can-merge	1s
	6h 15m 42s

Provide feedback