BaseFold verifier cycle reduction: 1st codeword

[yczhangsjtu]

Marked by builder.cycle_tracker_start("MMCS Verify Loop Rounds").

This part is dominated by a loop over the openings: each loop has only very small cycle (currently 36), but there are many openings (40 in the current test case), and there are many query indices (100 in the current setting), so each one cycle inside the loop saves 4000 cycles in total.

[kunxian-xia]

Fixed by #54.