Update dependency: deps/kwasm_release#118

rv-jenkins wants to merge 8 commits into

masterruntimeverification/komet:masterfrom

_update-deps/runtimeverification/wasm-semanticsruntimeverification/komet:_update-deps/runtimeverification/wasm-semanticsCopy head branch name to clipboard