currently dirmngr has --use-tor and --no-use-tor
the default is --no-use-tor
However, it shouldn't be hard to auto-detect whether tor is available (e.g. look
for a unix-domain socket at /run/tor/socks) and if it is, then use it, otherwise
fall back to not using tor.
I would call this middle-ground state --use-tor-if-available
If this configuration option is available, i think it would be sensible also for
it to be the default, so that the only thing necessary for a user to use tor is
to have tor installed and running.
In that scenario, wsers who care strongly that no data ever go outside of tor
can set --use-tor explicitly, and users who have tor installed but don't want
dirmngr to use it can set --no-use-tor. But the default would be to do the
sensible thing.