Context

!5724 (merged) is required in protocol Kathmandu. Cherry-picked all commits from it using the following commands.

$ git checkout -b proto-k-backport-5724
$ git cherry-pick 6cd2b762dc26d05ccce11bed0306897f20bfe40a^..881034ffd09eaec30f90abf9cf62c3371aadc7e8

Resolved conflict in src/proto_alpha/lib_benchmarks_proto/interpreter_benchmarks.ml and regenerated manifest.

Manually testing the MR

Check CI.