#574 added the `monolithic_build` and `monolithic_build_multilevel` examples. The configs for that should be autogenerated just like in mlkem-native