Is FaunusVertex.reuse() worth it? If not, get rid of it.

[okram]

The reason not to reuse at the FaunusVertex level is that a vertex is already a very complex object and the vetrex is only a small part of the computation -- most is edges for the vertex and those are dropped.