Turing-complete smart contracts finally arrive on Bitcoin. Already, complex BitVMs like poker games are preventing off-chain fraud.