**Summary** Implementing verify command according to the spec #88 **Intended Outcome** `notation verify` command works as defined in the spec **Additional context**
