[code-reflection] RFR: BytecodeLift implementation progress + SlotOp [v2]

[Adam Sotona]

> In this patch:
> - lifting of shifts, instanceof, stack ops
> - fixes of types resolution and conversions in generator
> - enabled stack for conditional branches
> - fixed lift to survive additional labels in the code
> - implemented LocalsTypeMapper to support SlotOp for lift
> - implemented SlotOp and SlotSSA for lift

Adam Sotona has updated the pull request incrementally with one additional commit since the last revision:

  minor revert in TestSmallCorpus

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

Changes:
  - all: https://git.openjdk.org/babylon/pull/80/files
  - new: https://git.openjdk.org/babylon/pull/80/files/8af24f0e..c6415ec1

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=babylon&pr=80&range=01
 - incr: https://webrevs.openjdk.org/?repo=babylon&pr=80&range=00-01

  Stats: 9 lines in 1 file changed: 1 ins; 7 del; 1 mod
  Patch: https://git.openjdk.org/babylon/pull/80.diff
  Fetch: git fetch https://git.openjdk.org/babylon.git pull/80/head:pull/80

PR: https://git.openjdk.org/babylon/pull/80