Merge changes Ie74f2dbe,I092d2e95,I5a75f5c4

* changes:
  Fix 616-cha assumptions.
  Fix JIT crash due to unverified dead code
  Use interpret-only instead of verify-at-runtime when testing JIT