Fix missing argument in error message in TypeInference pass

[jhavrane]

Fix #5443. Added test itself doesn't verify the new message in TypeInference, but ConstantFolding instead (which was missing a test until now).

[jhavrane]

Compiler output when ConstantFolding pass is commented out in frontend:

 issue5443.p4(8): [--Werror=type-error] error: '~' operation cannot be applied to an operand '0x100' with an unknown width
         if (~0x100) {
              ^^^^^
 issue5443.p4(8): [--Werror=invalid] error: ~0x100: Operation cannot be applied to values with unknown width;
 please specify width explicitly
         if (~0x100) {
             ^^^^^^
 issue5443.p4(8): [--Werror=type-error] error: '~' operation cannot be applied to an operand '0x100' with an unknown width
         if (~0x100) {
              ^^^^^
 issue5443.p4(8): [--Werror=type-error] error: Error while analyzing ~0x100
         if (~0x100) {
             ^^^^^^