Has there been any significant progress toward using Bitcoin’s purported Turing complete semantics to implement smart contracts general enough to support something like Silk Road?