As far as I see it, this question is highly speculative and likely to attract discussions.
The OP states:
After the government infiltrated (presumably an exit node) of the Tor network,
and presents this as a fact. However as far as I know there is no public knowledge that this really is or was the case. There were some occassions in the past where NSA/GCHQ ran middle nodes or where some LEA had and used a Firefox exploit, but I'm not aware of any case where a government "infiltrated the Tor network".
Furthermore the author asks
is it still as safe for users who want their anonymity hidden …
Here we'd have to ask what the person means with "anonymity". Of course it is likely that some kind of anonymity can be degraded or the user can be deanonymized, but this depends on lots of factors. So the question also is too broad in my opinion.
I would definitely close this question.