A Priori Tests of RANS Models for Turbulent Channel Flows of a Dense Gas