Consider adding fuzzing

[mkannwischer]

See https://github.com/pq-code-package/mlkem-native/security/code-scanning/5

I don't think we necessarily need this given that we are proving the absense of undefined behavior in the C code using CBMC, but if this is not too hard to do maybe we can add it.