adding tests around instance map
updating integration tests to wait for instance statuses to propagate
translating tarjan function to use native consensus types
adding guard against infinite defer to successor loop