Remove size estimation from EncCBOR and EncCBORGroup

[lehins]

Description

This PR removes the size estimation functionality that is not used by anyone and is blocking #5045

The main goal of this PR is to remove Typeable constraint from EncCBOR, which is used with mkMemoized and is needed for all lenses. Removing Typeable constraint unblocks the attempt at nested transactions that is being worked on in #5334

Checklist

• Commits in meaningful sequence and with useful messages.
• Tests added or updated when needed.
• CHANGELOG.md files updated for packages with externally visible changes.
  NOTE: New section is never added with the code changes. (See RELEASING.md).
• Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
  versioning process.
• Version bounds in .cabal files updated when necessary.
  NOTE: If bounds change in a cabal file, that package itself must have a version increase. (See RELEASING.md).
• Code formatted (use scripts/fourmolize.sh).
• Cabal files formatted (use scripts/cabal-format.sh).
• CDDL files are up to date (use scripts/gen-cddl.sh)
• hie.yaml updated (use scripts/gen-hie.sh).
• Self-reviewed the diff.