Efficiency improvement of `RangeCheck`

[enricobottazzi]

Try out with the old design https://github.com/summa-dev/summa-solvency/blob/ded7155c585eabef653bfc84ec26ca10a6acd632/zk_prover/src/chips/overflow/overflow_check.rs and benchmark:

• Prover time
• Proof size