test: Fix 4 checker tests to pass with javac/dx

Acts as a partial revert of commit f02c3cf66c2c24533f6da43970e7b766b2ca9938.

Revert only the failing javac/dx checker tests. Update files to match
new checker syntax
(e.g. constant_folding_after_inling -> constant_folding$after_inlining).

Add build scripts to force these tests to use javac/dx even if
the platform build was using jack.

Fixes following tests:
* 442-checker-constant-folding
* 450-checker-types
* 463-checker-boolean-simplifier
* 537-checker-inline-and-unverified

Bug: 62950048
Bug: 36902714
Change-Id: I89dc039e3746b4b9f7d3eced43d1e0113662e812
10 files changed