TFM bounds checks for safety #6684

Job	Run time
make and analyze (--enable-all --enable-mlkem --enable-mldsa --enable-xmss --enable-lms --enable-...	2m 9s
	2m 9s

Provide feedback