dbgfm: Update num_vertices for jts/dbgfm#3

The issue jts/dbgfm#3 (FMIndex::getNumStrings returns one
more than expected) is fixed, so remove this workaround.