With the expectation that: - we will add gpg checks; - we may add a `verify` verb; - we may introduce new means of verification, e.g. OS X's `codesign`
and merge them into a single definition.