The addition of Tezos will help developers working on blockchain-based programs and smart contracts built on Wolfram.