full single aritmethic sm (#156)

Arithmetic: for multiplications and divisons over 32-bits and 64-bits. 
* WIP updating pils and complete arith table

* wip aritmethic state machines

* WIP arith witness comutation

* update cargo files

* WIP arith, fix errors after merge from develop

* WIP arith: adding test of helpers

* WIP arith

* WIP arith

* WIP arith tests

* WIP, helpers test ok peding update pil

* WIP arith helpers pass bus tests

* WIP update pil of arith_table, add method to calculate row of table

* WIP arith helper tests

* WIP arith - test ok

* arith, clean obsolete code

* add multiplicity on arith tables

* arith SM integration on develop

* adding arith tables

* updated from develop, fix bug arith add debug traces

* clean arith code and remove warnings

* fix bug and apply changes

* remove non used field

* fix bug on arith pil

* restore correct value on rom.rs

* fix bug on arith, verify constraints ok

* clean commented code

* WIP fix on arith table calculation

* fix tables of arith, check and clean tests

* add conditional extra argument call in arith helpers

* fix call on arith helpers tests

* fix error on arith executor m32 and sext

* update arith with div by zero and div overflow

.gitignore

@@ -4,4 +4,5 @@
 /build
 /proofs
 *.pilout
-/tmp
+/tmp
+*.log

.vscode/launch.json

@@ -4,6 +4,40 @@
     // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
     "version": "0.2.0",
     "configurations": [
+        {
+            "type": "lldb",
+            "request": "launch",
+            "name": "Debug",
+            "program": "target/debug/proofman-cli",
+            //"cargo": {
+                "args": [
+                    //"run",
+                    //"--bin",
+                    //"proofman-cli",
+                    "verify-constraints",
+                    "--witness-lib",
+                    "../zisk/target/debug/libzisk_witness.so",
+                    "--rom",
+                    "../zisk/emulator/benches/data/my.elf",
+                    "-i",
+                    "../zisk/emulator/benches/data/input_two_segments.bin",
+                    "--proving-key",
+                    "../zisk/build/provingKey"
+                ],
+                //"filter": {
+                //    "name": "proofman_cli",
+                //    "kind": "lib"
+                //}
+            //},
+            //"args": [],
+            "cwd": "${workspaceFolder}",
+            "environment": [
+                { "name": "RUSTFLAGS", "value": "-L native=/home/zkronos73/devel/zisk2/pil2-proofman/pil2-stark/lib" }
+            ],
+            "sourceLanguages": [
+                "rust"
+            ]
+        },
         {
             "type": "lldb",
             "request": "launch",