Use Pins/DiffPairs(assert_width) where appropriate.