[Eva] Fixes a soundness bug in the octagon domain on downcasts.

On casts, uses option -warn-[un]signed-downcast (instead of
-warn-[un]signed-overflow) to known if an integer wrap is possible.