Default is true, in which case the function removes zero columns and duplicate columns giving rise to the same projective point.
The object VerifyPoints is a symbol.