Enables additional solver output if we're removing user shardings (which usually implies internal testing / debugging).
Enables additional solver output if we're removing user shardings (which usually implies internal testing / debugging).
