Merge change 9042

* changes:
  Update bytecode verifier info.