Text this: TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving