Какая проверка наиболее корректна, чтобы убедиться, что переменная x равна None?

None — специальное значение «ничего/нет значения». В Python для него принято использовать проверку идентичности: x is None. Оператор == сравнивает значения, а is проверяет, один и тот же ли это объект (и для None это самый ясный вариант).