introduce a function for recursively validating any AST node

This is the equivalent of validate_model, but for *any* node in the AST.