Macro impl_verifier 

macro_rules! impl_verifier {
    () => { ... };
}

Implements Verifier, requiring proper Manifest types and system actor State types being defined by define_manifests and define_system_states macros respectively.