UTXO protocols need off-chain executors