Improved CTR IV/counter handling
Added notes on RC4 distinguisher attack
Fixed extraneous include
Fixed CTR code