Fix a tautological comparison bug caught during post-commit

This amends fd874e5f to correctly set
the bit width of a '!' operator to be the same width as an 'int'. This
fixes a failed assertion about unexpected bit widths that was reported
during post-commit testing.