ph2thomas: add --verify option