Sparsification for Fast Optimal Multi-Robot Path Planning in Lazy Compilation Schemes