Function verify_ps 

pub fn verify_ps(
    stages: &TypedProcessingStages<()>,
) -> Result<TypedProcessingStages<PsVerificationKey>, Box<VerificationError>>

Verify the (semantic) validity of some CDNI Processing Stages JSON

In particular, test whether

1. the MEL expressions have the proper types, and
2. the generic metadata type names are correct.