Deprecate rabin2 -V.. use rabin2 -v everywhere!