Leverage latest code quality improvements in Eurydice etc.

[protz]

[msprotz]

I thought I had modified the Docker file to pick up the latest versions of tooling but apparently not.

[franziskuskiefer]

I thought I had modified the Docker file to pick up the latest versions of tooling but apparently not.

You have, but it's not automated (see #417).

[msprotz]

I'm also pushing a couple other low-hanging fruits on this branch, such as chopping the libcrux_intrinsics prefix for intrinsics.

[franziskuskiefer]

In order to make the C code not blow up the stack I

• inlined the unpacked code for key generation and encryption
• demoted MUST_INLINE to inline in target.h in cg