Suggestion to handle 0 batch size in BatchVerifyMultiPoints

[kevaundray]

Observation

The function BatchVerifyMultiPoints assumes that the batch will be greater than 0. If a caller passes in an empty batch, then this line will panic.

Suggestion

Since its a public function it may be reasonable to handle the zero edge case or possibly a comment specifying that the batch is assumed to be more than zero, and the caller needs to check this before calling BatchVerifyMultiPoints.