Multiprecision refactoring: inverse mod and big_int improvements, checked big_uint operations #1339

Job	Run time
Check Proof Producer / Prepare targets strings	1s
Check Proof Producer / Get zkLLVM run to use artifacts from	8s
Gcc release full Linux testing / Build and test Linux with gcc	38m 6s
Clang release full Linux testing / Build and test Linux with clang	35m 10s
Verify Circuit Proof / Produce and verify proofs	2m 42s
Check Proof Producer / Build prover, generate proofs for circuits	6m 58s
Verify Circuit Proof / Verify proofs / verify-proofs	1m 25s
Check Proof Producer / Verify proof-producer proofs with EVM-placeholder / run-tests	1m 47s
	1h 26m 17s

Provide feedback