val outputs: List<TransactionState<ContractState>>
Outputs are computed by running the contract upgrade logic on input states. This is done eagerly so that the transaction is verified during construction.