unify basefold sumcheck with ceno

[hero78119]

Follow up on #843
Clean up basefold sumcheck and unified devirgo sumcheck with ceno.
Previously in #653 before/after change is insignificant, but after bunch of refactor and optimised other critical path, now the benchmark shows promising result.

Change highlights

• switch to ceno sumcheck and break down basefold sumcheck into 2 phases

  we can't directly use ceno sumcheck as blackbox because of FRI part in basefold.

• and use evaluation form as uni-variates
• clean up old sumcheck impl

benchmark

With e2e
Fibonacci 2^20

fibonacci_max_steps_1048576/prove_fibonacci/fibonacci_max_steps_1048576
                        time:   [3.1789 s 3.2022 s 3.2274 s]
                        change: [-14.457% -13.632% -12.780%] (p = 0.00 < 0.05)
                        Performance has improved.

Fibonacci 2^21

fibonacci_max_steps_2097152/prove_fibonacci/fibonacci_max_steps_2097152
                        time:   [5.2820 s 5.3010 s 5.3207 s]
                        change: [-16.128% -15.753% -15.306%] (p = 0.00 < 0.05)
                        Performance has improved.

Fibonacci 2^22

fibonacci_max_steps_4194304/prove_fibonacci/fibonacci_max_steps_4194304
                        time:   [10.369 s 10.397 s 10.423 s]
                        change: [-10.485% -10.041% -9.5790%] (p = 0.00 < 0.05)
                        Performance has improved.

[kunxian-xia]

Looks good to me except a few nitpicks and transcript writes.