Backport !5709 - Michelson: fix the size of Micheline code predicted by the size model
Context
!5709 (merged) required in protocol Kathmandu. Cherry-picked all commits from it using the following commands.
$ git checkout -b proto-k-backport-5709
$ git cherry-pick ae59185ed3688af831308355c41f40e7d606a9f1^..cb109242d4d4d690c715c143c0d387efb44fa5e7Manually testing the MR
Check CI.
Edited by Fedor Sheremetyev