Only dump predecessors for blocks that actually have predecessors.

This makes the dump a bit more like LLVM's output.
Default dump verbosity now includes predecessor edges.

This makes default dumping closer to LLVM output.