Time-memory tradeoff in SSL's RC4 code?