creating test for, and fixing tarjan bug. Also added the `visited` field, which is easier to understand than index==0
adding error checking to recordSCC
making consensus test output work the same for any number of queries
adding some debugging assertions