Function validate_annotations 

pub fn validate_annotations(
    program: &Program,
    annotation_discovery: &AnnotationDiscovery,
    source: &str,
) -> Vec<Diagnostic>

Validate annotations in a program and return diagnostics for any issues

Checks:

• Whether annotations are defined (in local file or imports)
• Whether annotation arguments are valid