feat(runner): pre-state failures (balance-at-least), block-separated read, functional page-logic tests

A check can now report that the account was not in the state the test needs (pre-state): the report names the account, the balance and the shortfall and says it is not an app failure; giveVerdict refuses app-broken for it. read gained blocks so handles and amounts do not run together. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>


Author Alex Wykoff Co-author Claude Sonnet 5.5 Date Commit Parent 038990c0