Improve performance and language support of memory initialization checks #7218

Job	Run time
benchcomp-tests	3m 21s
regression (macos-13)	37m 8s
write-json-symtab-regression	13m 26s
regression (ubuntu-20.04)	21m 58s
documentation	1m 56s
regression (ubuntu-22.04)	22m 38s
perf	28m 19s
regression (macos-14)	19m 20s
	2h 28m 6s

Provide feedback