Contrastive Weak-to-strong Generalization