Checker test for testing the behavior of deoptimization generated by
bounds check elimination.

The runtime used to trip on that test because it used to deopt the
whole stack, and the compiler was not preserving dex registers at
call sites.

We fixed the bug by doing single frame deoptimization.