Actually, thanks to AI, this may change soon! we may be in a place where widespread formal verification is finally possible.