Run compiler advice-taint analysis over the core library in CI

Run the compiler's advice-taint analysis on `crates/lib/core/asm/miden-project.toml` in CI. Fail CI when advice reaches an operation that requires a value in a fixed range without a valid check. Also fail when the analysis cannot cover a procedure, so lost coverage is visible.

This depends on [compiler issue #1305](https://github.com/0xMiden/compiler/issues/1305) and is part of [compiler issue #1209](https://github.com/0xMiden/compiler/issues/1209). It should replace the separate linter path explored in [miden-vm PR #3052](https://github.com/0xMiden/miden-vm/pull/3052).