Fix #1001: Add setting to disable parallel optimization