An AES-CTR DRBG in C#