So, it sounds like the OU representative who spoke with Rabbi Hoffman was not really reflecting the OU’s policy as a whole.
It’s pretty academic at the end of the day. I know it should theoretically be important to Ashkenazim that Reb Moshe’s heter is still relevant, but the common practice is to be matir Cholov Stam and no matter what, there’s SOME heter for it. I don’t think people are miskaven to “trust the government” every time they put a bottle of cholov stam milk in their shopping carts.