Merge "Add read barriers for the roots in the verifier."