[WIP] insert variable disposal instructions in the IR

This should help fix #578
That's a good point. We may add that to support.TestCase?