An Efficient Learning-Based Solver for Two-Stage DC Optimal Power Flow with Feasibility Guarantees