Update `Readme.md` #4351

Job	Run time
Clippy	2m 8s
Coverage	4m 57s
Build	1m 37s
Audit	16s
Documentation	39s
Formatting	16s
Fuzz (translate)	3m 37s
Fuzz (execute)	3m 53s
Fuzz (differential)	3m 42s
Check mininum supported Rust version	20s
Miri	10m 3s
Miri (spec)	9m 20s
Test (ubuntu-latest)	1m 25s
Test (Address Sanitizer)	3m 54s
Test (windows-latest)	2m 56s
uDeps	6m 50s
Test (macos-latest)	1m 36s
	57m 29s

Provide feedback