Function verifyNodeIndex

Check that nodes mirrors ids exactly and that every id is unique. Returns human-readable problems; an empty list means the invariants hold.