Add -no_sat and -init_registers synth_options

[ravikiranchollangi]

Motivate of the pull request

• To address an existing issue. If so, please add GH or Jira ID here: EDA-3310
• Breaking new feature. If so, please describe details in the description part.

Which submodule does this change impact ?

• Backend
• FOEDAG_rs
• IP_Catalog
• Raptor_Tools
• yosys_verific_rs
• zephyr-rapidsi-dev
• Github CI

What does this pull request change?

Add new synth_options "-no_sat" and "-init_registers"

Verified that the following tests passed locally before PR was created.

• make tests/batch_all
• Describe or list testcases run specifically to verify these updates if not covered above.

Impact of the pull request

• Require a change on Quality of Results (QoR)
• Break back-compatibility. If so, please list who may be influenced.