Improve performance and language support of memory initialization checks #7271

Job	Run time
benchcomp-tests	3m 44s
documentation	1m 59s
perf	28m 9s
regression (macos-13)	14m 40s
regression (ubuntu-20.04)	14m 35s
regression (ubuntu-22.04)	14m 36s
write-json-symtab-regression	14m 30s
regression (macos-14)	14m 19s
	1h 46m 32s

Provide feedback