Tidied up crypto_verify_16 and crypto_verify_32