Update dependency: deps/k_release#1089

dkcumming merged 4 commits into

masterruntimeverification/mir-semantics:masterfrom

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