make --check test that Tor is working, cosmetic cleanups to --check, fix some cosmetic warnings, Tor now _actually_ runs on port 9051 (it did not before due to lame command-line parsing by Tor)
