Generalization Analysis on Learning with a Concurrent Verifier