Test cases for Int + Nat division and modulo simplification rules #84
Description
We need to add all the necessary test cases to validate the rules mentioned in sc-fvt#229 and sc-fvt#292 for division and modulo simplification.
Transferred from: input-output-hk/sc-fvt#355