Handle name prefixing in sanitizeGlobal/sanitizeLocal.

In the case of sanitizeGlobal, "_" was being prefixed in two different
places; this factors it out into one place.
Introduce AllocaManager, a class for managing allocas.

The AllocaManager performs stack layout for alloca objects. It is capable
of analyzing alloca liveness and sharing space between multiple allocas.