Rouquier's conjecture and diagrammatic algebra