so why not just using smart contract in side chain? shall tau main net settlement layer support smart contract at all? UTXO is not able to support Turing complete smart contract. TAU is using utxo now.