Check a PFA abstract syntax tree for semantic errors using a titus.pfaast.NoTask to avoid unnecessary work.
bool
True if the PFA document is valid; False otherwise