Sobolev Stability of Prandtl Expansions for the Steady Navier–Stokes Equations