Add support for emitting read and stat checks (currently always emitted, making no effort towards eliminating redundant checks).