Improve performance and language support of memory initialization checks #7282

Job	Run time
benchcomp-tests	4m 29s
write-json-symtab-regression	13m 1s
perf	29m 57s
regression (macos-13)	35m 46s
regression (ubuntu-20.04)	22m 4s
regression (ubuntu-22.04)	22m 55s
documentation	2m 0s
regression (macos-14)	17m 26s
	2h 27m 38s

Provide feedback