Bitcoin Script Turing Incomplete