Added Verifier class.
Verifier class can check different properties of the provided subnet. Currently it is possible to check:
- Two links equivalence property.
- Link and provided value equivalence property.
Verifier provides 2 different check methods:
- checkAlways(Property).
- checkEventually(Property).
Edited by Ершов Михаил Алексеевич