Text this: Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently