Note that 'the military' and 'a hypothetical government agency opposed to Tor' are not necessarily the same thing.

Counterintuitively sometimes the best protection is to operate under another agency. That makes moving against Tor a battle of internal politics rather than a legal battle.

'The government' rarely has uniform views on something as complex as Tor.