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

[Paul Sandoz]

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.

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

Commit messages:
 - Move verifier into bytecode tests

Changes: https://git.openjdk.org/babylon/pull/445/files
  Webrev: https://webrevs.openjdk.org/?repo=babylon&pr=445&range=00
  Stats: 24 lines in 3 files changed: 11 ins; 5 del; 8 mod
  Patch: https://git.openjdk.org/babylon/pull/445.diff
  Fetch: git fetch https://git.openjdk.org/babylon.git pull/445/head:pull/445

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