Merge "Improve documentation and assertions of read barrier instrumentation."
am: 95005291d8

* commit '95005291d8ebdd1d2ac58ffc5181fef4fbbf2383':
  Improve documentation and assertions of read barrier instrumentation.