Yup. Why people would want turing complete contracts is completely beyond me. There is a reason why we use heavily restricted computational systems for high integrity systems. Until somebody is doing some sort of model checking on my smart contract you can count me out.