Add witness and redeemer to view

[palas]

Changelog

- description: |
    Modify `transaction view` to show what inputs redeemers refer to.
# uncomment types applicable to the change:
  type:
  - feature        # introduces a new feature

Context

#664 added redeemers to the output of cardano-cli transaction view but it is difficult to know which one corresponds to which when there are several. This PR addresses this by showing this information paired with each redeemer.

How to trust this PR

Ensure that the new structure makes sense, that it looks good in the updated tests. And I am not so confident about how what the indexes correspond to, so probably verify that

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

[Jimbo4350]

We want to keep this generic. We should not be pattern matching on era specific constructors. We want the redeemer map: Map (PlutusPurpose AsIx era) (Data era, ExUnits) which can be accessed from the ledger's Tx via a lens (or series of lenses).

Then use:

  redeemerPointerInverse ::
    TxBody era ->
    PlutusPurpose AsIx era ->
    StrictMaybe (PlutusPurpose AsIxItem era)

and class methods like toSpendingPurpose to get the actual thing the plutus script is witnessing.

[Jimbo4350]

LGTM, I left a couple of comments. I would say definitely factor out the rendering of AsIxItem.