Update dependency: deps/kmir_release#43

rv-jenkins wants to merge 15 commits into

masterruntimeverification/kompass:masterfrom

_update-deps/runtimeverification/mir-semanticsruntimeverification/kompass:_update-deps/runtimeverification/mir-semanticsCopy head branch name to clipboard