Investigate how and where `encodedSizeExpr` is being used

There is a fairly involved computation attached to `ToCBOR` type class in the form of `encodedSizeExpr` and `encodedListSizeExpr` functions. Considering that most of types in ledger lack an explicit implementation it begs a question: Is it still being used?

Close this ticket when these questions have been answered:

* [ ] - Where is `encodedSizeExpr` is being used (which repos, packages) and how?
* [ ] - If they are used then instances for which types are actually being used? Do we need to implement these functions for some types or default implementation is sufficient?
* [ ] - If they aren't used can we deprecate these functions and eventually get rid of them?

Upon closing this issue create a new ticket that will track a task of either:
* Deprecate `Size`
* Improve documentation of `encodedSizeExpr` and `encodedListSizeExpr` . Survey all types and improve their `ToCBOR` instance implementation.

Start by searching the repository and its related packages for ToCBOR, encodedSizeExpr, encodedListSizeExpr, and Size, then trace the instances that use them. Done means documenting where and how they are used, determining whether defaults are sufficient, and creating the follow-up ticket for deprecation or improved documentation and instance coverage.

Written by the indexing model from the issue text.