synth v0.86.0

What's Changed

• v0.86 planning: the artifact set, the refuting commands, and the anchor moved to v0.85.0 by @avrabe in #1524
• v0.86 FALCON3 (#1318): the figure holds, and the remaining skip's issue was the wrong one by @avrabe in #1525
• chore(deps): bump taiki-e/install-action from 2.87.22 to 2.87.27 by @dependabot[bot] in #1534
• chore(deps): bump serde_json from 1.0.151 to 1.0.152 by @dependabot[bot] in #1531
• chore(deps): bump z3 from 0.21.0 to 0.21.1 by @dependabot[bot] in #1532
• chore(deps): bump proptest from 1.11.0 to 1.12.0 by @dependabot[bot] in #1535
• v0.86 lane wave and release prep: every artifact's outcome, the instruments they shipped, and the notes by @avrabe in #1537
• v0.86 cold review, both rounds: the corrections, and the two guards that could not fail by @avrabe in #1538

Full Changelog: v0.85.0...v0.86.0