Additional `IN` / `NOT IN` simplifications

In the following on PR, I think we can move inlist related simplifier logic to `inlist_simplifier`.
Steps in inlist_simplifier
1. early stage simplification like `expr IN () --> false`, `null IN/NOT IN`
2. convert long OR chain or AND chain to InList expressions like what `or_in_list_simplifier` does
3. shorten InList expressions like what `inlist_simplifier` in this PR does
4. convert final inlist to OR chain or AND chain if len < 3. Move inlist related simplifier out from `expr_simplifier`

In this way, when the logic grows more complex, we can easily find out related conversion about specific Expr

_Originally posted by @jayzhan211 in https://github.com/apache/arrow-datafusion/issues/8949#issuecomment-1906115890_

Inizia leggendo la logica esistente di expr_simplifier, inlist_simplifier e or_in_list_simplifier per tracciare come vengono gestite le espressioni IN e NOT IN. Il refactoring è completato quando i passaggi elencati di semplificazione iniziale, conversione delle catene, accorciamento ed espansione finale sono organizzati tramite inlist_simplifier, senza che rimanga logica specifica di inlist in expr_simplifier.

Scritto dal modello di indicizzazione a partire dal testo della issue.