synth v0.45.0

What's Changed

• feat(#538): aarch64 backend milestone 2 — full i32+i64 integer ALU (7→50 ops) by @avrabe in #769
• feat(#494): const-divisor rem_u identity elision — a proof-carrying 12x beat over clang -Os by @avrabe in #770
• feat(VCR-WASM-001): anchor WASM source semantics on WasmCert-Coq — i32.add bridge (bounded first increment) by @avrabe in #771
• investigate(#757): 7 faithful RawVec-grow+memmove reconstructions — all GREEN (bug needs gale's module; NO FIX) by @avrabe in #772
• feat(VCR-ISA-001): extend generate-not-mirror Rocq ISA model to nine i64 pseudo-ops (41→50) by @avrabe in #773
• feat(#396): synth-provenance-v1 branch-transformation map + reconciliation gate (VCR-DEC-003) by @avrabe in #774
• chore(release): v0.45.0 — the Mega-Hub epic (all 3 North-Star tracks) by @avrabe in #775

Full Changelog: v0.44.0...v0.45.0