meta(verification): tracking issue for verification improvements

[Evalir]

• Ensure verification works reliably on simple projects
• Ensure verification works reliably on projects with heavy dependencies (e.g Maker/Aave/Spark)
• Ensure verification works reliably on projects with a different layout, such as a NPM/PNPM based layout.