Add aes_128_ctr test.
Cleanup formatting.