refactor!: move table_length to FirstRoundBuilder

[iajoiner]

Please be sure to look over the pull request guidelines here: https://github.com/spaceandtimelabs/sxt-proof-of-sql/blob/main/CONTRIBUTING.md#submit-pr.

Please go through the following checklist

• The PR title and commit messages adhere to guidelines here: https://github.com/spaceandtimelabs/sxt-proof-of-sql/blob/main/CONTRIBUTING.md. In particular ! is used if and only if at least one breaking change has been introduced.
• I have run the ci check script with source scripts/run_ci_checks.sh.

Rationale for this change

Currently there are still places where FinalRoundBuilder::table_length is used in ProofExpr which is wrong when we start composing ProofPlans. Moreover in cases where a ProofPlan causes its output table to be longer than any of the input tables (e.g. joins and unions) we need to bump the max_row_num.

What changes are included in this PR?

• remove table_length from FinalRoundBuilder
• add range_length to FirstRoundBuilder to track the max table length in a query (updates are NOT to be applied to any ProofPlan that can not cause its output table to have more rows than any of its inputs such as filter and projection)
• update range_length after FirstRoundBuilder goes through the AST
• store min_row_num and max_row_num in QueryProof for the verifier
• remove FirstRoundBuilder from exclusively result_evaluate tests

Are these changes tested?

Existing tests should pass.

[github-actions]

🎉 This PR is included in version 0.49.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀