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 legacy/trac#25935 and https://github.com/torproject/tor/pull/59 for background.
issue