At the very least people should be formally verifying the behavior of their smart contracts before investing millions of dollars in them. The ETH VM is actually pretty simple to model and formally verify at least some of the basic properties of contracts.