scikit-verify 0.4.2

scikit-verify 0.4.2

Test and documentation release; no breaking API changes.

• Raise test coverage 82% -> 96% (1519 tests, 1 skipped) via genuine
  tests across the dialect API, every ufunc, refusal branches, numpy
  map bodies, pair operators, explore.py, testing, contracts, coercion,
  and checks. Genuinely-unreachable defensive branches carry an honest
  '# pragma: no cover' with a stated reason.
• feat: array endpoints supported in space generators (linspace/
  logspace/geomspace) (#47); no public API change.
• docs: API reference for the property rung (@specifies.property).
• readme: self-contained, meaningful explore() example.