Fix and finite field operations in bindings/crypto module

[MartinMinkov]

Description

🔗 bindings PR: o1-labs/o1js-bindings#287

This pull request addresses issues and has a slight optimization change in the finite field operations.

The following tasks were accomplished:

1. Fixed isSquare and sqrt methods to ensure input is taken modulo p
2. Optimized the equal method to avoid unnecessary modulo operations

Additional Information

These changes ensure that the finite field operations work correctly for all input values and improve performance by reducing unnecessary computations. The optimization in the equal method is particularly beneficial for frequently used operations.

It also addresses the issue found in the audit where with this code:

import { createForeignField } from 'o1js';

class Field17 extends createForeignField(17n) {}

// This works fine
console.log(Field17.Bigint.sqrt(0n));
// this runs forever  normally --- with the changes it prints 0n
console.log(Field17.Bigint.sqrt(17n));