Implement optimization pass to make variable scopes as tight as possible

[VMatthijs]

The idea is to automatically determine when variables can go out of scope because they are no longer needed. (Relying on a live variables analysis.) There is another question here: does this optimization buy us anything or does clang or gcc already do this for us automatically?