[lworld] RFR: 8366743: [lworld]: Verifier adjustments for operations on 'uninitialized'

[Matias Saavedra Silva]

The updated spec places more restrictions on the use of uninitialized and uninitializedThis with certain bytecodes. Those spec changes are implemented with this patch and tested with a new set of tests. Verified with the new test as well as tiers 1-5.

-------------

Commit messages:
 - 8366743: [lworld]: Verifier adjustments for operations on \'uninitialized\'

Changes: https://git.openjdk.org/valhalla/pull/1566/files
  Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=1566&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8366743
  Stats: 226 lines in 6 files changed: 224 ins; 0 del; 2 mod
  Patch: https://git.openjdk.org/valhalla/pull/1566.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1566/head:pull/1566

PR: https://git.openjdk.org/valhalla/pull/1566