Text this: Pebble Games, Proof Complexity, and Time-Space Trade-offs