DebugInfo: Assert that a CU's subprogram list contains only subprograms.