Long Cycles in Locally Expanding Graphs, with Applications