simplify and clean up branching in verifier#1276

hero78119 wants to merge 1 commit intomasterscroll-tech/ceno:masterfrom

feat/simplify_observe_flowscroll-tech/ceno:feat/simplify_observe_flowCopy head branch name to clipboard