Implement HashSalsa208Sha256VerifyTests