Update Wasm spec testsuite #4423

Job	Run time
Audit	2m 41s
Clippy	1m 2s
Build	1m 58s
Coverage	3m 53s
Documentation	32s
Formatting	15s
Fuzz (translate)	3m 20s
Check mininum supported Rust version	22s
Fuzz (execute)	3m 29s
Fuzz (differential)	3m 37s
Miri	6m 53s
Miri (spec)	6m 50s
Test (ubuntu-latest)	1m 59s
Test (windows-latest)	3m 40s
Test (Address Sanitizer)	2m 29s
Test (macos-latest)	1m 26s
uDeps	53s
	45m 19s

Provide feedback