Set `@source_name` for procedures with divergent source/linkage name

Names in Wasm's name section need not be unique. For debug builds of `examples/` with `panic-abort` rustc produces duplicate names in the Wasm name section, see #1341.

#1342 deduplicates names, which can lead to divergent source/linkage names. In that case, the new `@source_name` attribute should be added to the corresponding procedure. See [vm3716](https://github.com/0xMiden/miden-vm/pull/3716) for details.

Blocked until the compiler uses vm with that feature, probably `>= 0.30`.

The issue references a change in the Miden VM (PR #3716) that adds an `@source_name` attribute. Examine the compiler's procedure handling code, likely in a module dealing with Wasm name section parsing or procedure metadata. Look for where procedures are created and where their names are set. When a source name diverges from the linkage name (after deduplication), add the `@source_name` attribute. Check the linked VM PR for the exact attribute format and context.

索引モデルが issue の本文から書いたものです。