Div/mod behavior should be consistent in the compiler and analysis

[yamaguchi1024]

Right now, LoopIR_compiler ensures the floor division (exo_floor_div) for negative expressions, but mod just naively lowers to C's mod %, which is incorrect for negative expressions. mod will be positive for negative expressions to be consistent with the division.