Adds offline-verify command.

Adds the ability to verify a MAC produced on a Hashlet, without the
hardware.  This is useful when a remote server wants to verify the MAC,
but doesn't have an attached hashlet.