Of course not, the dao hack is a case in point.

I am happy the ecosystem is spurring growth in formal verification.

It's still the wild west and I encourage anyone interested to swing a lasso.