Text this: GGH15 Beyond Permutation Branching Programs: Proofs, Attacks, and Candidates