Add computable versions of div and mod#127

tomaz1502 wants to merge 4 commits intoVerified-zkEVM:masterVerified-zkEVM/CompPoly:masterfrom

tomaz1502:computableDivModtomaz1502/CompPoly:computableDivModCopy head branch name to clipboard