Revisiting Weak-to-Strong Generalization in Theory and Practice: Reverse KL vs. Forward KL