Include crypto_verify_64.h in sodium.h