Stop resolving hard-coded authority DNS names that start with a digit
Instead, we should:
- require IP addresses for authorities in the public network
- allow any DNS name for non-default authorities or in test networks
See #25935 (moved) and https://github.com/torproject/tor/pull/59 for background.