Haha, my issue with Ethereum has always been that, as a software engineer, I know it's impossible to write bug free code. It's a great idea to have a code driven contract utopia, but our first experiment with that model proved we still need human intervention. If it were that simple, we would just have hyper formalized real world contracts (in an almost mathematical notation) - but that obviously never happened. Frankly, hand written contracts are already incredibly decentralized, it's only enforcement that is centralized.