Don't normalize associated types when in region binders, wait until we instantiate
them. Also fix some assertions and handling of builtin bounds.
Patch tests and create new tests related to projection from a HRTB.