Run Wycheproof tests on libcrux-hkdf and libcrux-hmac

[jschneider-bensch]

The test vectors are in tests/wycheproof, but we don't currently use them.

[github-actions]

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.

[github-actions]

This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.

[jschneider-bensch]

Reopening this, since tests are still relevant.

[github-actions]

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.

[franziskuskiefer]

@keks do you want to close this with the work on #537 ?

[keks]

Wycheproof tests for hkdf, hmac and ed25519 are on the PR #659