Genuine modular rank and permanent verification rules

The proposed implementation uses required predicates rather than optimizable , residual verification after solving, genuine modular elimination, and rejection controls with exact expected reasons PythonAssert,SymPyMatrices.