AON TIMER: wkup count cdc hi

AON TIMER: wkup count cdc hi: a task in TitanBench: A Benchmark for Agentic RTL Design and Verification (Harbor dataset). Run aon timer wkup count cdc hi vseq which maximises the chances to hit conditional and branch coverage in wkup count hi cdc (prim reg cdc and prim reg cdc arb).

The task

> Run aon_timer_wkup_count_cdc_hi_vseq which maximises the chances to hit conditional and branch coverage in wkup_count_hi_cdc (prim_reg_cdc and prim_reg_cdc_arb).

Part of billshockley/titanbench.