Text this: Equivalence checking for weak bi-Kleene algebra