First Provable Guarantees for Practical Private FL: Beyond Restrictive Assumptions