test: Modify 593-checker-boolean-2-integral-conv for javac/dx

Previously 3 of the methods were failing checker with javac/dx.
Move their old bytecode to a smali file to retain testing of those
optimizations.

Rewrite the checker tests in Main.java to use the javac/dx-generated
bytecode.

Test: art/test/run-test --64 --host --optimizing --build-with-javac-dx 593-checker-boolean-2-integral-conv
Bug: 63064517
Bug: 62950048
Bug: 36902714
Change-Id: I17de11318c1b1c8bcb0749429c5c80754cc03989