Can you switch to a job with more of a research focus? Maybe that is hard to find in the area that you want (I have no idea what formal verification actually is).
As someone who has been through it the mental and financial toll is indeed significant, so you are smart to be asking about it.