Recognize the --nodevsanity option.