Function validate 

pub fn validate(spec: &Spec) -> Vec<Problem>

Checks the spec itself (no file system access). See validate_files for paths.