Added mod_constraint test and fixed mod_constraint

[devin-ai-integration[bot]]

This PR removes extra debugging print statements from modnum.test.cpp and adjusts the calculation in modnum.hpp to ensure a non-negative value for 'extra' during the modulus operation.