Context width evaluation of comparison operator is wrong

[dalance]

In IEEE 1800-2017, both operands of comparison operator is sized to the larger one of operands.
So (2'd0 - 2'd1) == 3'd7 becomes 1'b1' because the left-hand side is extended to 3bit.
But the current evaluator doesn't care this behaviour.