Make the ConstantPropagationOptimizer less conservative

[dplassgit]

Right now it stops at end of proc, labels, gotos, etc., but if a variable is never changed, it can certainly be propagated throughout the proc/program.

[dplassgit]

Still have to be careful about loops