Add partial support for MBQI with arrays when using --fmf-fmc.  Fix constant bounds for bounded integers.