Text this: Proving Safety Properties of Rewrite Theories