Update README.md #7272

Job	Run time
quick-tests	13m 56s
clippy-check	6m 57s
check-deps	20m 34s
fmt-check	34s
smir-check	3s
purification-tests	14m 15s
release-build (ubuntu-latest)	11m 57s
test-crates (0)	1h 32m 53s
release-build (windows-latest)	26m 8s
all-tests (ubuntu-latest)	27m 53s
test-crates (1)	50m 46s
release-build (macos-latest)	18m 23s
all-tests (windows-latest)	37m 10s
test-crates (2)	1h 2m 41s
all-tests (macos-latest)	35m 47s
test-crates (3)	56m 29s
test-on-prusti	0s
can-merge	2s
	7h 56m 28s

Provide feedback