Fix a bug in bounds_checker client.

Bug description: using unconditional 'jmp' after the 'cmp' between
'watched adress' and upper bounds.Thus overflow cannot be checked.

Fix: replace 'jmp' with 'jge'.