Enable -Wcovered-switch-default again, but add -Werror to the checks to make