Add check_int_overflow.py script