"Fix" width inference for MUL

This really underscores exactly how broken the current width inference
code actually is...