Text this: Computational proofs of congruences for 2-colored Frobenius partitions