[IR] Some tweaks and bug fixes to unboxing analysis

* Get rids of a few spurious boxing ops in mandelbrot.
* Additional speedup.
[IR] Cover additional cases in unboxing analysis

* The code is safer in more scenarios now and also a bit more robust.
* Still missing inline/type guards.