Full Reynolds-Stress Modeling of Circulation Control Airfoils