Allow procedures with the same name to differ on the number of locals

[hackaugusto]

When compiling the account code, one can wrap the basic wallet example. The issue is that when wrapping said code, there can be name conflicts, for example, the current code is just an re-export:

        # acct proc 0
        export.wallet::receive_asset
        # acct proc 1
        export.wallet::send_asset

If the above is changed to:

        export.send_asset  # <- note the absence of the local `.1`
            exec.wallet::send_asset
        end

The compilation fails with AccountCodeAssemblerError(ConflictingNumLocals("send_asset")) when running the following test cargo test -- executed_transaction_account_delta. This is a bit annoying, specially because consistently using proc for everything is a way of circumventing https://github.com/0xPolygonMiden/miden-vm/issues/1376