[code-reflection] RFR: Assert code modeling [v3]

[Hannes Greule]

On Sat, 2 Mar 2024 00:18:20 GMT, Ian Graves <igraves at openjdk.org> wrote:

>> Initial work on the code model for supporting assertions. This PR contains the code model. A subsequent PR will include interpreter updates to execute assertions in IR form.
>
> Ian Graves has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Updates to CoreOps.

Shouldn't this rather be in `ExtendedOps`? And when lowering, it might be possible to just produce nothing if assertions are disabled, and an unconditional check otherwise.

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

PR Comment: https://git.openjdk.org/babylon/pull/32#issuecomment-1974667566