Get the list of verification failures.
Used by the test runner to check for failures after execution.
List<String> get verificationFailures => List.unmodifiable(_verificationFailures);