Interval32: Fix rem unsoundness for long
Interval32: Fix rem unsoundness for long

Also raise ArithmeticOnIntegerBot if exactly one of the arguments is bot

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer