Assert that expr widths match inst widths