Add n_rows_required method to MptCircuit (#93)

* fix column annotation

* Implement n_rows_required for internal gadgets

* Add n_rows_required implementation for MptUpdateGadget

* clippy and add 1 to account for disabled row in MptUpdateConfig

* Start assignment from second row

* Remove panic

* Add comments explaining where +1 comes from

* Add test for fixed vk

* Dedup hash traces and add comment explaining +1 in n_rows_required

* Fix comment

* Fix build

* Track Cargo.lock

---------

Co-authored-by: Mason Liang <[email protected]>

.gitignore

@@ -2,5 +2,4 @@
 /layouts
 .vscode
 .cargo
-Cargo.lock
-*.png
+*.png