Undecidable properties of limit set dynamics of cellular automata