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`.

A issue faz referência a uma alteração na Miden VM (PR #3716) que adiciona um atributo `@source_name`. Examine o código de manipulação de procedimentos do compilador, provavelmente em um módulo que lida com a análise da seção de nomes do Wasm ou com metadados de procedimento. Procure onde os procedimentos são criados e onde seus nomes são definidos. Quando um nome de origem divergir do nome de vinculação (após a deduplicação), adicione o atributo `@source_name`. Verifique o PR da VM vinculado para o formato exato do atributo e o contexto.

Escrita pelo modelo de indexação a partir do texto da issue.