added invariants for initiator and responder honest pairing: everyone ends up being paired with who they originally thought they would be paired with