synth v0.88.0

What's Changed

• v0.88 planning: the artifact set, the refuting commands, and the anchor moved to v0.87.0 by @avrabe in #1554
• chore(deps): bump sha2 from 0.11.0 to 0.11.1 by @dependabot[bot] in #1557
• chore(deps): bump bazel-contrib/setup-bazel from 0.19.0 to 0.19.1 by @dependabot[bot] in #1560
• v0.88 PREPBUMP (#1564): the lane wave — the #1436 float-home miscompile fixed, every lane in one PR, three blockers re-measured by @avrabe in #1564
• v0.88 VERWIDTH (#1569): VCR-VER-003 takes each access width from its instruction, and --native-pointer-abi never bakes a raw linear-memory offset by @avrabe in #1569
• v0.88 release prep: bump the workspace to 0.88.0 and write the release notes, in one commit by @avrabe in #1571
• v0.88 cold review, both rounds: four corrected facts, two recorded, and a disposition by @avrabe in #1572

Full Changelog: v0.87.0...v0.88.0