@ichorid Considering that anonymity is Tribler’s unique selling point, I would say, DHT checks should be anonymous by default (and obfuscated if possible).
If a potential user prefers un-anonymous downloading and/or DHT checking, there are plenty of alternatives to choose from, so no need to cater towards those people.
I wouldn’t expect these DHT checks to be very demanding on the Tribler’s exit nodes, but would it otherwise be an option to relay them through the TOR network?