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

[Paul Sandoz]

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.

This pull request has now been integrated.

Changeset: 88b2f4ba
Author:    Paul Sandoz <psandoz at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/88b2f4ba430d43d7ae3ff1dacba6c05837231db4
Stats:     24 lines in 3 files changed: 11 ins; 5 del; 8 mod

Move verifier into bytecode tests

Reviewed-by: asotona

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

PR: https://git.openjdk.org/babylon/pull/445