Avoid some duplicate error reporting and improved instrumentation for pipeline dumping.
Pull request: https://github.com/WebKit/WebKit/pull/8095
Committed 258656@main (8ffb0f29be5a): <https://commits.webkit.org/258656@main> Reviewed commits have been landed. Closing PR #8095 and removing active labels.
<rdar://problem/104026162>