It seems to me that the two tactics could be complementary. If you discourage people from using Tor, then you don't have to devote as many resources to the people that use Tor.