sanity check on transaction construction