We'll probably do this soon. Tor simplifies peer discovery and NAT traversal a lot though, so disabling Tor is actually harder unless you have a very reliable STUN/TURN service you plan to support forever.