Add uninitialized/protected field access test.
Also some minor formatting and comment cleanup.

Rationale:
When an opcode fails two verifications, right
failure should take preference.

Bug:31364810
Test: vm-tests-tf iget*
Change-Id: Id1e9a2af9bc46a378be6f245cf4f2d5363111e9a
30 files changed