Implement variable-usage detection to reduce number of local variables

[ikskuh]

Use something like SSA to detect that local variable slots can be reused, so the virtual machine can do smaller allocations for local variables.