[flow] adds missing symbol exports
[flow] builtin callee user-verification uses IR now instead of AST
[x0d] adds support for builtin callee verifications
[x0d] docroot parameter verification moved from hot path into setup stage, via the IR-verification step