don't allocate any schedule memory if CEXes are disabled and no put scalarsets

Without counterexample traces enabled, the only reason you need a schedule is
printing the value of a scalarset variable during a `put` statement. Without
such put statements, we don't need the schedules at all and can save memory.

Github: related to #194 "clearer CEX output with scalarsets"