Improve performance and language support of memory initialization checks #7204

Job	Run time
documentation	2m 0s
benchcomp-tests	3m 18s
regression (macos-13)	8m 15s
perf	28m 8s
regression (ubuntu-20.04)	8m 14s
write-json-symtab-regression	7m 53s
regression (ubuntu-22.04)	8m 16s
regression (macos-14)	7m 58s
	1h 14m 2s

Provide feedback