WIP: add Wasmi translation invariants checker #4434

Job	Run time
Clippy	25s
Build	1m 35s
Coverage	4m 4s
Audit	18s
Documentation	54s
Formatting	21s
Fuzz (translate)	3m 21s
Check mininum supported Rust version	22s
Fuzz (execute)	3m 33s
Fuzz (differential)	3m 31s
Miri	7m 5s
Miri (spec)	6m 21s
Test (ubuntu-latest)	1m 37s
Test (windows-latest)	3m 27s
Test (Address Sanitizer)	2m 44s
uDeps	54s
Test (macos-latest)	1m 9s
	41m 41s

Provide feedback