В случае если при чтении сторы обнаруживается нарушение инварианта (приведённый в документации пример про считываение alien store не в счёт), как правильно поступать?

Ставить ASSERTы или переводить стору в alien?