chore: release v0.17.0

[avrabe]

Summary

Cuts v0.17.0. Landed since v0.16.0:

• feat(rewriter): instruction-level offset map (#143 DWARF Phase 2 inc 2) #202 DWARF Phase 2 increment 2 — rewriter instruction-level offset map (rewrite_function_body_with_offsets + InstrOffsetMap). Captures the intra-function byte drift from LEB128 operand-length changes during index remapping. The second of two anchors DWARF address remapping needs; increment 1 (v0.16.0) supplied the per-function base via component-provenance v2 code ranges.

Increment 3 (gimli .debug_line/.debug_info rewrite composing both maps) is queued for its own release.

Test plan

• cargo check --workspace clean on 0.17.0
• 295 lib tests green (4 new offset-map tests)
• CI green
• After merge: tag v0.17.0 → sixth signed/attested release run

🤖 Generated with Claude Code

[github-actions]

LS-N verification gate

⚠️ 35/37 verified — 2 missing regression tests

	count
Passed (≥1 test, all green)	35
Failed (≥1 test failure)	0
Missing (no ls_*_NN_* test found)	2

_{Approved loss-scenarios.yaml entries are expected to have a
regression test named ls_<letter>_<num>_* (e.g. LS-A-11 →
ls_a_11_*). The gate runs each prefix via cargo test --lib --no-fail-fast and aggregates pass/fail/missing.}

Failed LS entries

(none)

Missing regression tests

• LS-R-13
• LS-M-6

_{Updated automatically by tools/post_verification_comment.py.
Source of truth: safety/stpa/loss-scenarios.yaml.}