experiment: move `TypeOutlives` normalization out of region checking again

[lcnr]

To support "lazy normalization" we've originally deferred the normalization of TypeOutlives obligations and assumptions to region checking itself. We should be able to just eagerly deeply normalize both obligations and assumptions before ever passing them to region checking, so we don't have to normalize them there.