Exhaust all message schedules under one crash

Exhaust all message schedules under one crash

Enumerate every interleaving of message delivery and the single crash within the frozen bounds. Report every state where two replicas hold different committed entries at the same index. Deliverable: A run report with schedules_explored, states_explored, and divergence_count, plus the pinned checker version.