Google’s James Tromans is bullish on the role AI can play in accelerating tasks like smart contract writing and auditing.