SCA: only downsize ensure when option is given

And some cosmetic changes for output.
added print() to MCG node and site

print() and dump() now have the usual LLVM behavior.
temporary fix for disappearing type info MMO

This stack coloring code wipes out type information we use to reconstruct a
useful machine call graph. The part has been reverted on upstream LLVM as well.