Security Analysis of the \texttt{RC4+} Stream Cipher