fix: remove duplicate FromStr entries and update FFI test boundary

- Removed duplicate ProverKind::IProver, Princess, Twee, MetiTarski, CSI, AProVE entries from FromStr impl (lines 617-622 were duplicates of 461-466)
- Updated test_kind_from_u8_out_of_range to reflect new valid code range 0-127 (added Phase 1a higher-order ATPs and Phase 5 backends)
- All 837 lib tests passing, 2 ignored (integration tests requiring external tools)
- Phase 1a implementation complete: Leo3, Satallax, Lash, AgsyHOL all verified

Author: hyperpolymath

src/rust/ffi/mod.rs

@@ -1454,10 +1454,10 @@ mod tests {
 
     #[test]
     fn test_kind_from_u8_out_of_range() {
-        // 0–124 are valid; 125+ are out of range.
-        // (Boundary moved 114→124 on 2026-04-26 adding Phase 1b frontier provers.)
-        assert!(kind_from_u8(125).is_none());
+        // 0–127 are valid; 128+ are out of range.
+        // (Boundary moved to 127 on 2026-04-26 adding Phase 1a/1b ATPs and Phase 5 backends.)
         assert!(kind_from_u8(128).is_none());
+        assert!(kind_from_u8(200).is_none());
         assert!(kind_from_u8(255).is_none());
     }