More thoroughly document the basic block/CFG construction