It avoids using DynFlags in the Outputable instance of Clabel to check assertions at pretty-printing time.