pub fn verify_all(
    ws: &Workspace<'_>,
    packages: &[Package],
    modes: &[Mode],
    allow_dirty: bool
) -> Result<()>