Cardano Updates

When making the CHaP release for the previous commit, the CI failure
there revealed that I accidentally changed `>=^0.29` to `>=^0.30`
instead of to `>=0.29 && <0.31` in the `o-c-{cardano,diffusion}`
packages.

I was able to fix that immediately on the CHaP PR view `[[revisions]]`,
so now I'm copying that fix back to this branch to prevent the same
mistake.

amend todo

[wip] bump network

The new method leverages a corresponding method recently exposed by
ledger side to provide encoded transaction sizes to eg. diffusion layer.

- Integrate new tx submission protocol
- txWireSize: Byron txs overhead

We need to add 2 bytes overhead for `EncCBOR (AMempoolPayload
ByteString)`. See:
https://github.com/IntersectMBO/cardano-ledger/blob/cardano-ledger-byron-1.1.0.0/eras/byron/ledger/impl/src/Cardano/Chain/MempoolPayload.hs#L73-L81

- txWireSize: wrapCBORinCBOR overhead for Shelley txs
- Take into account the overhead of `wrapCBORinCBOR`.
- txWireSize: added overhead for HardFork txs
- Added HFC overhead.  This overestimates it, if the HFC is disabled.
- txWireSize: added tests
- Use txWireSize when computing tx-sizes for ouroboros-network

Co-Author: Armando Santos <[email protected]>
Co-Author: Marcin Szamotulski <[email protected]>
Co-Author: Marcin Wójtowicz <[email protected]>