Eliminate redundant copies

[yav]

When generating "copy" instructions we sometimes generate redundant copies, which is bad because it can interfere with the "data reuse" optimization (e.g., for builders).

[yav]

I've made some improvements to this for the important cases that arise in many loops. It looks like there is another opportunity for improvement: we can reuse a variable without a copy if the uses are in different case branches