[code-reflection] RFR: Move verifier into bytecode tests

[Adam Sotona]

On Tue, 17 Jun 2025 20:16:54 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

> Move verifier from public API into bytecode tests, some aspects of this may come back in the form of structural validation when building a model, specifically value use requires declaration dominates and arity block reference arguments matches the target block parameters.

Marked as reviewed by asotona (Reviewer).

-------------

PR Review: https://git.openjdk.org/babylon/pull/445#pullrequestreview-2938183703