Some more compiler improvements from @alyssa targeting differences in the T720 plus some plugs from @tomeu for state leaks that manifested only on SFBD.