discovery: don't run consistent updates if there's no discovery

This applies to the katnetic program. Starting a controller with this
combination of options will succeed, though it may not behave as
intended. This is noted in Async_NetKAT_Controller.mli.