Limits on the Power of Prime-Order Groups: Separating Q-Type from Static Assumptions.