What I think I hear you saying is, do formal verification as much as you can. But also remember that that's never 100%, and therefore you need to leave some kind of escape hatch or alternate process or something.

Absolutely! I always have worries when posting on my personal doubts on any technique, as I genuinely look forward to people making progress in spite of my doubts.