Compact Stack Allocations

[andrew-johnson-4]

Currently some of the more complex patterned functions yield bodies with thousands of bytes of local variables. This is suboptimal.

Mutually exclusive code paths shouldn't need to share copies of each others variables.