This isn't about the performance of the network. They could've brought it offline and that wouldn't have been as egregious an affront. They willfully subverted the network to invade the privacy and anonymity of the people using it. Regardless of the purpose, the potential damage to the people using it for any reason is too great to ignore. Political dissidents, whistleblowers, journalists, lots of people rely on Tor, and who knows how much of their information was exposed as a result.