AVX2: Replace intrinsics implementation of `rej_uniform` with assembly

[mkannwischer]

For formally verifying functional correctness using HOL-Light, we will require assembly instead of intrinsics.

[mkannwischer]

@jakemas, do you have time to look into this? Would be good to complete this before any integrations happen.