batch verification can be updated to use `VarTimeMultiScalarMult` instead of constant-time `MultiScalarMult`. see #40