Update aes_hw_ctr32_encrypt_blocks (leanprover#63)

### Description:

This PR updates program and tests for `aes_hw_ctr32_encrypt_blocks`
based on the fix of a bug from the PR
aws/aws-lc#1690

### Testing:

What tests have been run? Did `make all` succeed for your changes? Was
conformance testing successful on an Aarch64 machine? Yes for both.

### License:

By submitting this pull request, I confirm that my contribution is
made under the terms of the Apache 2.0 license.