Infer signedness from opcodes; suppress overflow and underflow checks on small values from condition codes.
