Implement a fast aes-ctr prng