Add a test for crypto_verify_*()