Merge "Improve documentation and assertions of read barrier instrumentation."