Handle batch mul edge cases in Ultra arithmetization

[Rumata888]

We've fixed the edgecases with repeating points and points at infinity, but we are getting a weird issue when trying to create a NAF of 1 and the scalar field is bigfield