Wolfram Research's blockchain subsidiary has teamed up with Tezos to facilitate smart contract developments in a more secure way.