Function update_verify_stats 

pub async fn update_verify_stats(
    dbus: Arc<OnceCell<Connection>>,
    dbus_timeout: u64,
    locked_machine_stats: Arc<RwLock<MachineStats>>,
    allowlist: HashSet<String>,
    blocklist: HashSet<String>,
    metrics: Option<SharedMetrics>,
    no_fallback: bool,
) -> Result<()>

Async wrapper that updates verify stats when passed a locked struct Collect verification stats, resolving the shared D-Bus connection only on a D-Bus code path: the varlink enumeration runs first and a bus-less host never connects at all.