Support Const Propagation for Variables

**Is your feature request related to a problem or challenge? Please describe what you are trying to do.**

Currently the SimplifyRule creates its own `ExecutionProps` from the `OptimizerConfig`, rather than this being propogated through correctly. The resulting `ExecutionProps` therefore lacks any `VarProvider` and so const propagation is not possible for variables.

**Describe the solution you'd like**

These variables should be available at optimization time, much like `query_execution_start_time`, to allow for const propagation to work correctly.

**Describe alternatives you've considered**

**Additional context**

#4629 tracks making `ExecutionProps` a trait
#2666 moved `OptimizerRule` away from using `ExecutionProps` in favor of a `OptimizerConfig`

Inizia tracciando la creazione di ExecutionProps da OptimizerConfig da parte di SimplifyRule e verifica come OptimizerRule riceve ora la configurazione, insieme alle issue #4629 e #2666. Determina come VarProvider dovrebbe essere disponibile durante l’ottimizzazione; il lavoro è completato quando le variabili sono disponibili al momento dell’ottimizzazione e la const propagation funziona correttamente.

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