disabling of compiler in settings should be used for validator

[andreasmuelder]

If the compiler is disabled in the preferences, the validator should not execute the compiler for error marker creation.