set_symbolica_rayon_enabled

Configure whether Spenso may use Rayon for Symbolica operations.

Auto checks the Symbolica license once during this call. When licensed, operations may use Rayon and apply workload heuristics where available; when unlicensed, symbolic operations remain serial. The returned boolean reports whether the resolved policy permits Rayon, not whether every operation will use it.