Fix output symbols of PushFilterThroughBoolOrAggregation optimizer

[jinyangli34]

Description

PushFilterThroughBoolOrAggregation optimizer may return more output symbol than original plan.
and cause error

java.lang.IllegalArgumentException: io.trino.sql.planner.iterative.rule.PushFilterThroughBoolOrAggregation$PushFilterThroughBoolOrAggregationWithoutProject: transformed expression doesn't produce same outputs: [project::[varchar], bool_or::[boolean]] vs [project::[varchar], is_mocked::[boolean], bool_or::[boolean]]
	at com.google.common.base.Preconditions.checkArgument(Preconditions.java:466)
	at io.trino.sql.planner.iterative.Memo.replace(Memo.java:117)

Fixing this issue by using output symbols from aggregation node instead of its source.

Additional context and related issues

example query to reproduce:

SELECT *
FROM
  (SELECT project, BOOL_OR(is_mocked) AS has_mocking
   FROM schema.table
   GROUP BY project) AS virtual_table
WHERE has_mocking = true

or see new unit test.

Release notes

( ) This is not user-visible or is docs only, and no release notes are required.
( ) Release notes are required. Please propose a release note for me.
(x) Release notes are required, with the following suggested text:

# General
* Fix planning failure for queries with filter on an aggregation. ({issue}`22716`)

[Dith3r]

Use newAggregationNode.getOutputSymbols() and filtering is not required

[Dith3r]

Please use newAggregationNode instead.

[jinyangli34]

Please use newAggregationNode instead.

@Dith3r thanks, updated.

[raunaqmorarka]

Please add the failing query as a test in io.trino.sql.query.TestCorrelatedAggregation#testBoolOrAggregation
LGTM otherwise

[jinyangli34]

Please add the failing query as a test in io.trino.sql.query.TestCorrelatedAggregation#testBoolOrAggregation LGTM otherwise

Added test case and verified failure w/o fix vs pass w the fix.