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.