DebugInfo: Assert that all abstract scopes are subprograms, rather than conditionalizing.