Implemented aes_ctr_encrypt and enabled its integrity test.