Function display_enabled 

pub fn display_enabled() -> bool

Whether any value display is on ([value_display] mode, overridable via LEAN_CTX_VALUE_DISPLAY). The proof chains are written regardless; this only gates the display snapshot and the user-facing channels.