Replace seedrandom with Salsa20-based RNG