Learning Multi-turn Tool Use via Constraint-Guided Verification