Function thinking_config_value 

pub fn thinking_config_value(level: &str, budget: u32) -> String

Config-file value for a thinking change: the canonical level name when it is one config.rs can parse back, otherwise the raw budget number (which parse_thinking_budget also accepts; 0 is the adaptive sentinel).