In that case Ethereum shouldn't exist at all. Solidity and the EVM itself are a good example of that philosophy. If they weren't gonna move fast they should have waited until they had a better story for static analysis and model checking of smart contracts.