perf(research): reuse exact inverses in the downset block-solve replay (3.4x, identical finite evidence) - #4947

perf(research): reuse exact inverses in the downset block-solve replay (3.4x, identical finite evidence)#4947

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JoyboyBrian:perf/replay-runtime-jbJoyboyBrian/integer-mult-bounds:perf/replay-runtime-jbCopy head branch name to clipboard