The Artificial Intelligence Verification Premium: A Dynamic Model of Automation Opacity, Borrowing Costs, and Firm Value