Correct and fast RC4 stream cipher for JavaScript