Verifies equivalent DAWGs are considered equal