synth v0.53.0

What's Changed

• chore(release): v0.52.0 — enforce what we promise (7-lane hub: #865 #846 #869 #242 #871 #848 #867) by @avrabe in #878
• Make the gates real: CI-wire the gpio-thin + rv32-boot oracles (#879), claim-pin template prose (#880) by @avrabe in #884
• RISC-V: root-cause 'undefined label Lend0' + a second param-clobber-across-call bug (#882) by @avrabe in #886
• RV32 br_table lowering + hard-error on target/backend ISA mismatch (#882) by @avrabe in #887
• range-realloc cross-barrier live-in soundness — the pass AND its validator (#872) by @avrabe in #888
• VFP register-file spilling — the GI-FPU-002 exhaustion rung (#881, VCR-RA-004, epic #242) by @avrabe in #885
• aarch64: VCR-SEL-005 third-backend parity gate + 13 measured op gaps closed (#851, #883) by @avrabe in #889
• VCR-DEC-001: graph-colouring allocator across if/else joins — measured, flag-off (#242) by @avrabe in #891
• chore(release): v0.53.0 — "The last mile" (7 lanes) by @avrabe in #892

Full Changelog: v0.52.0...v0.53.0