Address open comments from #2224

> Could this drift apart versus `.gitmodules`? It also pins the same 3 dependencies and if so, should this be removed? Or how can we decide on a single source of truth?

_Originally posted by @igamigo in https://github.com/0xMiden/miden-client/pull/2224#discussion_r3358297923_

There are various comments from #2224 that might need addressing, opening this issue to track it. Tentatively assigning @mmagician (but feel free to unassign)

Review the linked pull request #2224 and its comments, particularly the discussion about .gitmodules and dependency pinning. Understand the current build configuration and dependency management in the project. Determine if the .gitmodules file and other pinned dependencies are redundant or need synchronization.

Scritto dal modello di indicizzazione a partire dal testo della issue.