verified Salsa20 implementation with all available test vectors