Performance fix for trait solver

Removed local normalization logic that was slowing down the new trait solver when processing type-outlives obligations. The new solver now handles these cases more efficiently without the extra normalization step.