In terms of the tuning cost, while thay could be a concern, I think it is better to control the set of schedules in the configuration, rather than disabling them in the codepath
I agree. Actually, one can easily clean up the tasks in AutoTVM script by looking for task name. There might be a better way to control the set of configuration option from outside to get better TVM user experience. But, in general, I agree that we can just add more options, and not disable anything.