Validation and Verification of the Wray-Agarwal Turbulence and Algebraic Transition Models for 2D External Airfoil Flows