verify

Verifies whether the pipeline fulfills all constraints configured by this verifier.

When the verifier encounters an error (emitted by a DiagnosticPass.Error), this method will throw VerificationException; When the verifier encounters a warning (emitted by a DiagnosticPass.Warning), this method will log the warning.

VerificationException will always have its Throwable.cause initialized by the first diagnostic violation identified, and may contain Throwable.suppressedExceptions entries to indicate other subsequent violations.