Function check_spec 

fn check_spec(
    dbc: &DbcData,
    simc_binary: &Path,
    spec: SpecId,
) -> Result<SpecGolden>