A little more haddock for the basic blocks module
Remove an export

This function is only used internally to the module
Add a bit more documentation for the SSA labeling code
Add a disclaimer about the stability of the pretty printer
Add an overview of the SSA IR in the top-level SSA module