Don't export core Wasm function that was lifted as component export #667
Description
Discovered in #666
We're exporting both core Wasm and lifted component export functions:
"miden::base::[email protected]::auth-procedure",
"miden:base/[email protected]::auth-procedure",
See the HIR - https://github.com/0xMiden/compiler/blob/4e46ea60c0f0453ea2704a2c8cf8d5f61916b34b/tests/integration/expected/rust_sdk/auth_component_no_auth.hir?plain=1
And the MASM - https://github.com/0xMiden/compiler/blob/4e46ea60c0f0453ea2704a2c8cf8d5f61916b34b/tests/integration/expected/rust_sdk/auth_component_no_auth.masm?plain=1