Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing