extend switch lowerer to produce the out-of-bounds check in firm-IR if necessary