Type Alias ProgressFn 

pub type ProgressFn<'a> = dyn Fn(CheckProgress) + Sync + 'a;

A progress handler. &-shared across verification worker threads.