TOOLVERIFIER: Generalization to New Tools via Self-Verification