verify: Kani matrix — fix wasm_module filter, document unwind failures#112

avrabe merged 2 commits into

mainpulseengine/sigil:mainfrom

verify/kani-format-merkle-wasm_module-investigationpulseengine/sigil:verify/kani-format-merkle-wasm_module-investigationCopy head branch name to clipboard