Bundle naming fixes

[maximebuyse]

This PR:

• Closes Stable name for rec bundles #1200. Makes bundle names stable, by computing the hash based on the names of the modules going inside the bundle (instead of the items)
• Fixes clash of impl names in rec bundles (disambiguators are no longer valid) #1157. By adding a disambiguator when names clash, instead of modifying the last string in the path (which fails for impls that don't have a string at the en of their paths)

[maximebuyse]

@karthikbhargavan You can try this and see if it works for you.

[karthikbhargavan]

Generally looks good, but two comments, since we are touching this code anyway.

First, can we rename "Rec_bundle" to "Cyclic_bundle"? This would be more precise.
Second, could we list the files that are part of the bundle in the top of the file somehow?

I can imagine the second ask to be harder.

[maximebuyse]

libcrux CI job: https://github.com/cryspen/libcrux/actions/runs/12480998112/job/34832756469

[maximebuyse]

Generally looks good, but two comments, since we are touching this code anyway.

First, can we rename "Rec_bundle" to "Cyclic_bundle"? This would be more precise. Second, could we list the files that are part of the bundle in the top of the file somehow?

I can imagine the second ask to be harder.

Done for the first one. The list of files (or maybe modules) is a good idea, but let's leave it for later. I think trying to name the bundle with a name containing the names of the modules it contains (which is part of the naming refactor) would already help.

[karthikbhargavan]

Looks good, let's merge if libcrux CI passes.