Add two more simple test cases
Format comparison operations correctly

For most operations the opcode's width parameter is the same as the
its output width, but for comparison operations that's not true.  This
uses the source width for comparison operation widths.

A small test case is also added that tests for this behavior.