Fix cte filter pushdown wrong results by splitting SpecialFormExpressions

[jaystarshot]

Description

Fixes #22147. This is needed due to a bug in SpecialFormExpressions #22698 if > 2 conditions are used.
Also simplified the extra filters so that predicatePushdown optimizer could push down the conditions further

Motivation and Context

Impact

Test Plan

Contributor checklist

• Please make sure your submission complies with our development, formatting, commit message, and attribution guidelines.
• PR description addresses the issue accurately and concisely. If the change is non-trivial, a GitHub Issue is referenced.
• Documented new properties (with its default value), SQL syntax, functions, or other functionality.
• If release notes are required, they follow the release notes guidelines.
• Adequate tests were added if applicable.
• CI passed.

Release Notes

Please follow release notes guidelines and fill in the release notes below.

== RELEASE NOTES ==

General Changes
* Fix wrong results when queries using materialized CTEs have multiple common filters pushed into the CTE :pr:`22700 `

[jaystarshot]

Simplifying the or conditions is essential and I observed a case in prod where it helped push these filters further down in predicatePushdown rule

[feilong-liu]

Curious what does this simplify do? Is it to rebalance multiple OR condition?

[jaystarshot]

Yeah looks like it breaks down the multiple ors into efficient cnf and dnf forms. In the predicate pushdown optimizer, the current visitJoin method appears to only decompose projects when they are pre broken by this optimizer.
I've noticed instances where 'or' conditions were not pushed down beneath joins.

[steveburnett]

Just a nit, suggest release note entry revision.

== RELEASE NOTES ==

General Changes
* Fix a bug in common filter pushdown when using CTE materialization :pr:`22700 `

[rschlussel]

The release notes should mention that it's a wrong results fix and a bit more user facing. e.g. maybe something like

• Fix wrong results when queries using materialized CTEs have multiple common filters pushed into the CTE

[rschlussel]

Can be separate but we should add argument checks when creating special form expressions that they have the right number of arguments.