assert_registers_match_dangling#

Check that connections to LeftDangle and RightDangle match the declared registers.

All Soquets must be consumed exactly once by a subsequent subbloq or connected explicitly to either LeftDangle or RightDangle to indicate the soquet’s status as an input or output, respectively.