main harness for running checks against the AST