Compiler: type inference bug.

The recent MIR-level select optimization failed to properly manage
the type information of the new kMirOpSelect node, resulting in a
type inference mismatch that trigered a reduction of optimization
level (should not have affected correctness).

Change-Id: I4e104050674c8667b9dff15a401ab230a46e7968