test reify/deftype verify