Cardano Updates

This fixes an error, "haddocks/cardano-data:testlib/*.haddock: openBinaryFile: does not exist"

Closes #4840

Co-authored-by: Alexey Kuleshevich <[email protected]>

Co-authored-by: Alexey Kuleshevich <[email protected]>

Co-authored-by: Alexey Kuleshevich <[email protected]>

Apply some of Alexeys suggestions

Co-authored-by: Alexey Kuleshevich <[email protected]>

Reflect usage of `unsafeIndex` with the bounds of `bytestring`.

`bytestring-0.11.3.0` was accidentally released with `unsafeIndex`
hidden from the export list. This issues was promptly fixed in
`bytestring-0.11.4.0`. So, we just need to exclude the affected version
in cabal file instead of rely on some custom implementation of the function
in a package that we don't normally use in ledger.

Defined pickAll the basis of sums with fixed length.
Added getSizedList as a method of the Foldy class
getSizeList cost is metered at 1000 calls. Typical calls are less than 10.

Garnix does not build the `hydraJobs` output
so move them all into the `checks` output,
adhering to the flake output schema
because garnix does not build nested attrsets.

Co-authored-by: Alexey Kuleshevich <[email protected]>