Filtration Theorems and Bounding Generators of Symbolic Multi-powers