Allow verifier to be run on partially materialized modules.