Engine: dependencies: the sorting seems unstable

[W95Psp]

See https://github.com/cryspen/libcrux/blob/ml-kem-lax-check/libcrux-ml-kem/proofs/fstar/extraction/Libcrux_ml_kem.Vector.Portable.Serialize.fst

In this module, functions are in big part independent, but still, they get reordered.

[W95Psp]

After investigations, it seems like we are sorting the items alphabetically at some point... See this example.

[github-actions[bot]]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[W95Psp]

Re-opening, after testing on libcrux, we got reordering issues. We're investigating.