Improve performance and language support of memory initialization checks #7265

Job	Run time
benchcomp-tests	3m 45s
documentation	2m 4s
perf	29m 19s
regression (macos-13)	12m 8s
regression (ubuntu-20.04)	11m 50s
write-json-symtab-regression	11m 44s
regression (ubuntu-22.04)	12m 6s
regression (macos-14)	12m 5s
	1h 35m 1s

Provide feedback