Function check_transaction_invariants 

fn check_transaction_invariants(
    tx: &Transaction,
    height: Height,
    network: &Network,
) -> Result<(), TransactionError>

Validates transaction invariants.