Function validate_program_depth 

pub fn validate_program_depth(
    stmts: &[Stmt<'_>],
    span: Span,
) -> Result<(), ParseError>

Validate a parsed program against the effective limit (max_ast_depth).