The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs