Text this: Propositional Proof Complexity and Cellular Automata