Update dependency: deps/k_release#566

rv-jenkins merged 3 commits intomasterruntimeverification/wasm-semantics:masterfrom

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