mdtablefix 0.5.1

`mdtablefix` unb0rks and reflows Markdown tables so that each column has a uniform width. When the `--wrap` option is used, it also wraps paragraphs and list items to 80 columns.
Documentation 
1
2
3
4
5

- Decision: Make `make kani` a Kani command smoke check using `cargo kani
  --version` until real harnesses land. Rationale: this keeps `4.1.1
  honest as a tooling item, avoids adding a vacuous proof, and leaves `make
  kani-full` as the future full-suite entry point. Date/Author: 2026-05-11 /
  implementation agent.