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

[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.

Matias Saavedra Silva has updated the pull request incrementally with two additional commits since the last revision:

 - Merge commit 'refs/pull/1566/head' of github.com:openjdk/valhalla into uninit_implementation_8366271
 - Added fix and tests for old verifier

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

Changes:
  - all: https://git.openjdk.org/valhalla/pull/1566/files
  - new: https://git.openjdk.org/valhalla/pull/1566/files/e7e2d94b..d81af4ea

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=valhalla&pr=1566&range=02
 - incr: https://webrevs.openjdk.org/?repo=valhalla&pr=1566&range=01-02

  Stats: 168 lines in 6 files changed: 165 ins; 1 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