Add informative logging output when VerifyBudget() fails.