arith_ext: add transforms for arith.remui patterns

[inbelic]

• We can reduce runtime computation by avoiding computing remui and instead use a Barrett reduction or SubIfGE operation when possible

Resolve #710

[inbelic]

Note to self: currently does not have any check if the operands are actually in the range [0, cmod)