Added some notes on why benchmarks are failing verification (or not).
Updated verification log with more information about benchmarks.