Even if they aren't spying on people's TOR traffic, it's still useful for spies. The more people are using TOR, the easier it is for them to hide their own traffic alongside it.