Release v1.8.0

What's Changed

• fix(wasm): two stack-corruption bugs + wire in wasm-browser example coverage by @iheitlager in #2224
• fix(wasm): mvl_runtime_wasm fails to link on native hosts (#2225) by @iheitlager in #2226
• fix(wasm): Map[K,V] keys/values/remove infinite-recurse on WASM backend (#2192) by @iheitlager in #2227
• fix(checker): extern fns default to partial totality, not implicitly total by @iheitlager in #2230
• fix(checker): reject decreases measures the extractor can't analyse by @iheitlager in #2233
• fix(checker): mutual-recursion diagnostic no longer suggests non-existent decreases by @iheitlager in #2234
• fix(checker): make Never a real bottom type; panic/exit/assert* stay total by @iheitlager in #2237
• fix(tests): resolve real REQ8/REQ7 checker errors in tests/stdlib by @iheitlager in #2239
• fix(wasm): close remaining nondeterministic ordering in build output (#2193) by @iheitlager in #2229
• fix(wasm): List[T].fold() with a Unit accumulator produces an invalid module (#2195) by @iheitlager in #2231
• fix(wasm): free-function-syntax calls to extension methods fail to assemble (#2186) by @iheitlager in #2235
• fix(rust): user fn named f poisons dead HOF prelude bodies via capability_params_map (#2137) by @iheitlager in #2238
• fix(cli): fatally enforce REQ7/8 in mvl test; mvl check reads *_test.mvl by @iheitlager in #2241
• docs: fix Req 8 documentation and spec drift by @iheitlager in #2242
• chore: fix cargo fmt violations blocking CI by @iheitlager in #2245
• fix(wasm): gate mvl build --backend=wasm on assembly, not just checker warnings (#2091) by @iheitlager in #2243
• fix(wasm): bound Err(e) String payload never bound split ptr/len locals (#2067) by @iheitlager in #2246
• fix(wasm): dedupe extern imports across sibling files (#2244) by @iheitlager in #2247
• fix(wasm): Map[K,V] fold/any/all/filter/map_values/entries infinite-recurse and stub on WASM by @iheitlager in #2248
• fix(wasm): value moved into container still freed under its own local name by @iheitlager in #2250
• feat(wasm,llvm): wire up std.io.read_line for real stdin/file reads by @iheitlager in #2253
• fix(wasm): List[T] method coverage gaps (#2119) by @iheitlager in #2261
• fix(checker): REQ8 decreases extractor bails on control flow irrelevant to the measure by @iheitlager in #2258
• docs: split LLVM C-ABI naming convention into runtime/CLAUDE.md by @iheitlager in #2259
• fix(llvm): List[String] operations broken across the board (#2256) by @iheitlager in #2263
• chore: bump vendor/mvl-spec + vendor/tree-sitter-mvl to 0.1.7, fix List push/extend/append mut-param codegen bug by @iheitlager in #2255

Full Changelog: v1.7.4...v1.8.0