Automatic Transition Prediction in a Navier–Stokes Solver Using Linear Stability Theory