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