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