This is a real possibility - and makes you wonder if Chipmixer isn't already, or hasn't always been ran by some goverment agency.
This is also why some people recommend using multiple mixing services, one after another, but there aren't many mixing services which can handle a large amount of coins.