Stabilize pointer-to-reference cast validity checks #7775

Job	Run time
regression (macos-13)	19m 16s
regression (macos-13)	48m 32s
regression (ubuntu-20.04)	19m 16s
regression (ubuntu-20.04)	27m 27s
regression (ubuntu-22.04)	19m 17s
regression (ubuntu-22.04)	28m 39s
regression (macos-14)	18m 59s
regression (macos-14)	25m 29s
benchcomp-tests	4m 55s
benchcomp-tests	4m 55s
documentation	2m 0s
documentation	2m 0s
perf	26m 40s
perf	26m 40s
write-json-symtab-regression	17m 34s
write-json-symtab-regression	17m 34s
	5h 9m 13s

Provide feedback