[MLIR][Presburger] Fix reduce bug in Fraction class and add tests (#68298)

Modified `Fraction.reduce()` to work with negative fractions as well.
Added tests to verify the implementation of arithmetic and relational
operators on Fractions.