Test

Update readme (#1494) #7342

Job	Run time
check-deps	10m 23s
clippy-check	3m 45s
fmt-check	20s
quick-tests	6m 41s
smir-check	2s
purification-tests	26m 23s
test-crates (0)	1h 0m 52s
test-crates (1)	30m 40s
release-build (ubuntu-latest)	7m 49s
test-on-prusti	0s
test-crates (2)	46m 50s
all-tests (ubuntu-latest)	26m 10s
test-crates (3)	41m 59s
all-tests (windows-latest)	32m 49s
release-build (windows-latest)	12m 53s
all-tests (macos-latest)	51m 8s
release-build (macos-latest)	11m 30s
can-merge	2s
	6h 10m 16s

Provide feedback