mamonet

The changes are still relative. However, this PR depends on https://github.com/hacspec/hax/issues/605 to remove assumes.

I will close this PR because it's now part of https://github.com/cryspen/libcrux/pull/488