[IR] Fixes to LocalOptimizationPass

* Fixed code rot and got rid of some stale FIXMEs.
* Can't to_ary for multiple-assignment be optimized away?
  There is a spec that fails with the elimination of to_ary.