fix!: fix `GroupByExec` input length in proof && move `GroupByExec` top level restriction to `GroupByExec` itself by iajoiner · Pull Request #407 · spaceandtimelabs/sxt-proof-of-sql