Stress: Majority With Proof

**Bài toán.** Boyer–Moore finds a majority *candidate*; a verification pass is required to confirm a strict majority (> half). Stress 4000 trials, seed 2024, arrays with a sometimes-dominant value; oracle: direct counting. **The broken version skips verification — your harness must catch it.** Fix it.