stop verifying until verify understands non-manifold