introduce and use 'never_execute_code' setting for editor.json