implement remainder operation for Fixed type and add corresponding tests

[MahmoudMohajer]

These changes introduce the Reminder operator to NumerAir, ensuring its seamless integration into the system. Additionally, comprehensive tests have been implemented to validate its functionality and expected behavior. These tests confirm that the operator performs correctly across various scenarios, maintaining the integrity and reliability of NumerAir.

[raphaelDkhn]

Thanks @MahmoudMohajer for the PR.

• Can you add tests with random values as well, as implemented for other ops.
• The evaluation function (eval_fixed_rem) is missing. This will evaluate constraints for each rem operations during proving

[raphaelDkhn]

@all-contributors add @MahmoudMohajer for code

[allcontributors]

@raphaelDkhn

I've put up a pull request to add @MahmoudMohajer! 🎉