Text this: Normalization for planar string diagrams and a quadratic equivalence algorithm