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
6

- 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.