Checks if any verifiers have failed for resources and domains.
This is needed because Spark verifiers now emit warnings instead of errors, so we need to re-run them during codegen to detect issues.
Summary
Functions
Checks all verifiers for a list of modules (resources/domains). Returns :ok or {:error, formatted_message}