assert_registers_match_parent#

Check that the registers following decomposition match those of the original bloq.

This is a strict condition of the decompose_bloq() protocol. A decomposition is only valid if it takes exactly the same inputs and outputs.

This returns the decomposed bloq for further checking.