The *Big State* Monster: Taming State Size in Multi-Way Joins with FLIP-516