Theoretical Guarantees for Causal Discovery on Large Random Graphs