Function check_expr 

pub fn check_expr(expr: &Expr, limits: Limits) -> Result<(), LimitError>

迭代遍历 AST，检查深度与节点数（不递归，避免自身爆栈）。