Add int_ne constraint test

Add intone constraint test and fix some bugs with lower/upper bound in
IntVar.