feat(corpus): expand 10 critically small provers (4→192 avg)

Expand provers that were at single-digit to sub-100 entry counts:

  Z3:                     4 → 148  (SMT-LIB across QF_LIA/LRA/BV/UF/NIA/arrays)
  CVC5:                   4 → 148  (same theory coverage as Z3)
  NuSMV:                  3 → 192  (CTL/LTL model checking, 8 categories)
  nunchaku:               2 → 192  (finite models, counterexamples, 8 categories)
  UPPAAL:                70 → 192  (timed automata, 8 categories)
  EchoTypeChecker:       11 → 187  (identity type preservation)
  EpistemicTypeChecker:  12 → 212  (knowledge/belief/common knowledge)
  RefinementTypeChecker: 23 → 191  (liquid/refinement types)
  KatagoriaVerifier:     35 → 195  (category-theoretic verification)
  ModalTypeChecker:      87 → 187  (□/◇ necessity/possibility)

Total new entries: ~1,660. All JSONL validates.

https://claude.ai/code/session_0173ntsBsELMiXaTWvtjXdN8

Author: claude