Merge "Re-add read barrier to roots in the verifier."