CI: Kyber: re-enable F* verification on CI for `extraction-edited`

[W95Psp]

The version of F* in the CI is too old, thus the code in extraction-edited doesn't typecheck.

Solutions:

• wait for a new F* release (I asked on F*'s slack);
• host static builds ourselves (I tried to fork F* repo on cryspen/FStar, but seems like the workflow relies on MSR things);
• use opam install with a pinned F* (I don't really like this option + this will cost CI time at every commit);
• use nix, but this is maintainable only by me.