When to Trust the Cheap Check: Weak and Strong Verification for Reasoning