Verification Value structure and added beginning workings of it to transition states.
added invariants for initiator and responder honest pairing: everyone ends up being paired with who they originally thought they would be paired with
Vvalues.
Merged.
Implemented verification. We will need to change this though.
Added global pairing for responders and possible intruders and updated README.
Merge branches 'master' and 'numeric_comparison'