Instructions for running the verification script, including prerequisites and how to interpret results.