Remove non-raising verification functions

Now all three (authenticators, signatures and boxes) will raise if there
are errors in verifying them.  This ensures that errors are dealt with,
or the program comes crashing to a halt.  Self-tests are also updated.