This is why ethereum classic exists, but it's also shown that smart contacts are generally unreliable.

Random plug for non Turing complete smart contact systems like Decred.

(I don't own any decred, nor am I part of the team, I just idle in IRC.)