AES CTR-DRGB: add test for 32-bit counter overflow