The dev doesn't operate the TornadoCash contract. The code is actually run by people who operate ethereum nodes. After the initial deployment, the dev has zero involvement.