Text this: State Canonization and Early Pruning in Width-Based Automated Theorem Proving