Improve performance and language support of memory initialization checks #7251

Job	Run time
documentation	2m 0s
benchcomp-tests	3m 22s
perf	27m 32s
regression (macos-13)	11m 3s
write-json-symtab-regression	11m 1s
regression (ubuntu-20.04)	10m 59s
regression (ubuntu-22.04)	10m 59s
regression (macos-14)	10m 43s
	1h 27m 39s

Provide feedback