symbolVerification

Configure symbol verification on the final P5 analyzer input. Unlike P4's informational report, P5 verification fails on undefined symbols.