fix a prefilter bound bug in batBigarray.mliv
(and avoid V= bound as much as possible to avoid such failures in the future.)