Feat: improve sumcheck verifier

[kunxian-xia]

Issue

Before this pr, the cycle count is

INFO     ┝━ ｉ [info]: ┌╴IOPVerifierState::verify_round_and_update_state
INFO     ┝━ ｉ [info]: │ ┌╴multi_observe
INFO     ┝━ ｉ [info]: │ └╴11 cycles x4
INFO     ┝━ ｉ [info]: │ ┌╴observe round
INFO     ┝━ ｉ [info]: │ └╴13 cycles x4
INFO     ┝━ ｉ [info]: │ ┌╴sample_ext
INFO     ┝━ ｉ [info]: │ └╴24 cycles x4
INFO     ┝━ ｉ [info]: └╴253 cycles
INFO     ┝━ ｉ [info]: ┌╴IOPVerifierState::check_and_generate_subclaim
INFO     ┝━ ｉ [info]: │ ┌╴extrapolate_uni_poly
INFO     ┝━ ｉ [info]: │ └╴92 cycles x4
INFO     ┕━ ｉ [info]: └╴503 cycles