Cardano Updates

Simplify Transition and reuse it in shelley-test

Add mkTestAccountState and addAccountState

Reworked some messages when things fail.
Removed some unused imports that were not necessary.
Changed Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs, by
  changing conwayCertStateSpec to pass one component of PState through reify to DState
  and then pass one component of DState though reify to VState.
  This replaces the use of two exists.
Made some small chages to MiniTrace.
Added Witnessing the rng of a map that was ConwayAccountState.
Added some Winessed instances that deal with AccountState type family and its instances.

Fix mkConwayTestAccountState which was calling era if the DRep was delegated.

To note that order of entries in the result of `flattenValue` will be
reversed order of entries in underlying data of original `Value`.

The `hex-text` package is poorly maintained and we are only using
if for a single function that can be cargo culted into our code
base. The cargo culted function relies on the `base16-bytestring`
package but that is much more widely used and better maintained.

Fixes #2404

* Update shellFor documentation

Fixes #2401

* Update docs/reference/library.md

Co-authored-by: Copilot <[email protected]>

---------

Co-authored-by: Copilot <[email protected]>