Add formal and timed verification for cc_cdc_2phase_clearable

[phsauter]

I split #304 into two easier to handle PRs and had them review by Opus 4.8 and GPT-5.5 which discovered some minor uncovered cases in the formal verification.

• Fixed parameters that were not passed down properly
• Add formal verification for the CDC reset controller halfs
• Add formal verification for the CDC reset controller top
• Expand the previous cdc_2phase_clearable timed testbench and add asserts to check various conditions
• Add the new testbench to the simulation CI action and creates a new formal verification action