It is possible to configure k3s in various ways (cli flags, env variables, single config file, multiple config files) and everything is merged together in a final config. The nixos module cannot know if a configuration option that is missing from the module point of view is supplied in another way, so it shouldn't assert missing configuration options.