Improve performance and language support of memory initialization checks #7247

Job	Run time
benchcomp-tests	3m 18s
perf	29m 6s
regression (macos-13)	10m 48s
regression (ubuntu-20.04)	10m 46s
write-json-symtab-regression	13m 52s
documentation	1m 59s
regression (ubuntu-22.04)	10m 46s
regression (macos-14)	10m 29s
	1h 31m 4s

Provide feedback