feat: better IntegerDivisionimplementation

[0x471]

Description

This PR introduces a better IntegerDivisontemplate
There are none breaking changes.

Related Issue(s)

Closes #14

Checklist

• My code follows the style guidelines of this project
• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• My changes generate no new warnings
• I have run yarn format and yarn compile without getting any errors
• I have added tests that prove my fix is effective or that my feature works
• New and existing unit tests pass locally with my changes

It generates new warnings:

circomspect: analyzing template 'MultiplicationFromFloat'
warning: The output signal `remainder` defined by the template `IntegerDivision` is not constrained in `MultiplicationFromFloat`.
    ┌─ /Users/peterpan/rd/p/zk-kit.circom/packages/utils/src/float.circom:158:23
    │
158 │     (quotient, _) <== IntegerDivision()(a * b, 10 ** W);
    │                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ The template `IntegerDivision` is instantiated here.
    │
    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#unused-output-signal.

warning: Using the signal assignment operator `<--` does not constrain the assigned signal.
   ┌─ /Users/peterpan/rd/p/zk-kit.circom/packages/utils/src/float.circom:55:5
   │
55 │     quotient <-- dividend \ divisor;
   │     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ The assigned signal `quotient` is not constrained here.
   ·
63 │     dividend === divisor * quotient + remainder;
   │     -------------------------------------------- The signal `quotient` is constrained here.
   │
   = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#signal-assignment.


circomspect: analyzing template 'IntegerDivision'
warning: Using the signal assignment operator `<--` does not constrain the assigned signal.
   ┌─ /Users/peterpan/rd/p/zk-kit.circom/packages/utils/src/float.circom:56:5
   │
56 │     remainder <-- dividend % divisor;
   │     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ The assigned signal `remainder` is not constrained here.
   ·
59 │     signal isLessThan <== SafeLessThan(252)([remainder, divisor]);
   │                           --------------------------------------- The signal `remainder` is constrained here.
   ·
63 │     dividend === divisor * quotient + remainder;
   │     -------------------------------------------- The signal `remainder` is constrained here.
   │
   = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#signal-assignment.

circomspect: analyzing template 'DivisionFromFloat'
warning: The output signal `remainder` defined by the template `IntegerDivision` is not constrained in `DivisionFromFloat`.
    ┌─ /Users/peterpan/rd/p/zk-kit.circom/packages/utils/src/float.circom:107:23
    │
107 │     (quotient, _) <== IntegerDivision()(a * (10 ** W), b);
    │                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ The template `IntegerDivision` is instantiated here.
    │
    = For more details, see https://github.com/trailofbits/circomspect/blob/main/doc/analysis_passes.md#unused-output-signal.