Universal Graphs at Aleph_{omega_1+1} and Set-Theoretic Geology