BatchSize is not correctly computed for BGVrns when the default value of BatchSize = 0 is used
Instead of choosing BatchSize = n (ring dimension), the BatchSize is set to n/2.
Instead of choosing BatchSize = n (ring dimension), the BatchSize is set to n/2.