synth v0.44.0

What's Changed

• test(dwarf): independent-parser gate via llvm-dwarfdump on emitted DWARF (#394) by @avrabe in #763
• v0.44.0 Lane B: #406 multi-segment static-data coverage + honest MPU-isolation decline by @avrabe in #764
• v0.44.0 Lane D: #390 redundant-store elimination in forward_stack_reloads (gust_poll 724→716 B) by @avrabe in #765
• feat(VCR-ISA-001): extend generate-not-mirror Rocq ISA model to i32.eqz (40→41) by @avrabe in #767
• feat(#756): i64 div/rem + i32.trunc_f64 into the LIVE trap validator (VCR-VER-002 Lane A) by @avrabe in #766
• chore(release): v0.44.0 — five-lane hub (live trap classes, verified-selector 40→41, multi-mem coverage, size win, DWARF gate) by @avrabe in #768

Full Changelog: v0.43.1...v0.44.0