Update dependency: deps/k_release#2784

automergerpr-permission-manager[bot] merged 9 commits into

masterruntimeverification/evm-semantics:masterfrom

_update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboard