Array read operations are missing a read barrier

It turns out that pointer-array reads are currently missing the necessary acquire barrier to ensure soundness on platforms with weak memory ordering.