Missing a local label.
Fix overflow check & compare opcode bugs.

  * Support overflow check for arithmetic ops under DUALNUM mode.
  * Fixed one compare opcode bug.