WIP: trying out a non-trivial correctness goal for gcm_init_v8

[pennyannn]

Description:

A detailed description of your contribution. Why is this change necessary?

Testing:

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

License:

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