Function validate 

pub fn validate(cst: &CabalCst) -> Vec<Diagnostic>

Validate a parsed CST against the .cabal specification. Returns diagnostics for any spec violations found.