The complexity of proving that a graph is Ramsey