feat: IsZero, IsOne, tests

[Tabaie]

• Introduce the functions IsZero and IsOne
• Tests for the same, along with the basic algebraic properties of zero and one.
• Improve NewElement by taking out the % m operation.
• Rename NewElement to New.

[Copilot]

Pull Request Overview

This PR introduces IsZero and IsOne utility functions to field elements across multiple field implementations, along with comprehensive test coverage. The changes also refactor the Montgomery representation constants and improve the NewElement function implementation.

• Adds IsZero and IsOne methods to field element implementations
• Refactors constant naming from rSq to rSqModM and introduces rModM constant
• Updates NewElement implementation to use multiplication instead of modular arithmetic

Reviewed Changes

Copilot reviewed 14 out of 14 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
pkg/util/field/interface.go	Adds IsZero and IsOne methods to the Element interface
pkg/util/field/interface_test.go	New test file to verify interface compliance
pkg/util/field/internal/generator/main.go	Updates field configuration to generate both rModM and rSqModM constants
pkg/util/field/internal/generator/templates/*.tmpl	Template updates for new constants and methods
pkg/util/field/*/element.go	Implements IsZero/IsOne methods and refactors constants across field types
pkg/util/field/*/element_test.go	Adds comprehensive tests for zero/one properties and algebraic operations
pkg/util/assert/assert.go	Adds True and False assertion helpers

[DavePearce]

LGTM