Function load_config 

pub fn load_config(project_root: &str) -> ActivationConfig

Loads kernel activation settings from global and project-local lean-ctx config.

Missing or malformed files retain safe defaults. Project-local settings in .lean-ctx.toml override the global config.toml settings.