pub fn verify(
    index_path: impl AsRef<Path>,
    out: impl Write,
    _: Options
) -> Result<()>