Yeah, well, it seems, to me, as if this whole "Smart Contracts" bit is getting close to requiring working Halting Theorem solvers to be 100% safe. Although they do seem to have this thing called "gas" that acts a limiter on outstanding computation. But as has been shown, there's circumstances where that is Not Enough (well, specifically with the whole "soft fork" bizniz).