Port latest Yosys-verific-rs

[AYYAZmayo]

Motivate of the pull request

• To address an existing issue. If so, please add GH or Jira ID here: <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?

Port latest yosys-verific-rs, Fix-EDA-3310.

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.