Re: [tor-dev] Checking Tonga's consensus (was: Consensus issues)