On code verification of RANS solvers