[irsim] run intranex tests against the cif generated file