Validate_settings() emits a warning if some directives are unused

Refs #10