[tor-dev] Ideas for metrics of the safety of the Tor network