assert_soquets_belong_to_registers#

Check that all soquet’s registers make sense.

We check that any indexed soquets fit within the bounds of the register and that the register actually exists on the bloq.