Revert "Remove hptAllFamInstances usage during upsweep"

Ticket: #26154 (closed).

This MR reverts 3bf6720e which was the cause of the crash in type family consistency checking when compiling Agda reported in #26154 (closed).

It also includes the test from !14485 (closed) that @soulomoon wrote. I checked that compiling the test crashes before the revert and succeeds after the revert.