am 73d1f276: Merge "Don\'t verify runtime only opcodes in the data-flow phase of verification."

* commit '73d1f2767d5866593c780bede8091f3aee81aecf':
  Don't verify runtime only opcodes in the data-flow phase of verification.