`sq verify` should check notation assertions
When verifying a signature, if there are any unknown notations with the critical bit set, the signature should be considered bad. It should be possible to list understood notations using a command line option.