Further improvements to pretty-printing in cooked v2

[florentc]

This PR aims at introducing the following improvements to pretty-printing in cooked v2:

• [X] Requiring redeemers to be pretty printable like datums are
• [X] Introducing our own PrettyCooked class to be able to override pretty printing of Plutus types that are used as datum or redeemers without being encapsulated in a newtype (e.g. TxOutRef as minting redeemer in Auction). Also, such a class provides options for pretty printing.
• [X] Decouple pretty-printing stuff from the Staged module in which they don't belong
• [X] Implement printing options
  • [X] Hash length
  • [X] Show/hide default tx options
  • [X] Show/hide transaction ids
  • More options to implement later when we need them
• [X] Adapt documentation comments accordingly

[florentc]

I agree it is not ideal but since we often define wrappers for the testing functions during audits (e.g. to include our custom initial distribution) I do not expect it to be a big hindrance in practice.

We also plan to modernize that module which is mostly legacy from V1 at this point (e.g. to print more information about how many traces have been evaluated). There are chances we will reconsider the API in the near future.