Function run_ci_verification 

pub fn run_ci_verification(
    spec_files: &[&str],
    _rtl_files: &[&str],
    _config: &CiConfig,
) -> CiReport

Run CI verification on spec and RTL files.

Returns a SARIF 2.1.0 compatible report.