(Binary Analysis) Minor adjustments to RiscOperators tracing

* Width-checking logic was incorrect for addWithCarries