feat: icicle integration (gpu proving) (#586)



---------

Co-authored-by: Alexander Camuto <45801863+alexander-camuto@users.noreply.github.com>
Co-authored-by: Alexander Camuto <alexander.camuto@st-hughs.ox.ac.uk>

feat: icicle integration (gpu proving) (#586)



---------

Co-authored-by: Alexander Camuto <45801863+alexander-camuto@users.noreply.github.com>
Co-authored-by: Alexander Camuto <alexander.camuto@st-hughs.ox.ac.uk>

chore!: deprecate public vis for params (#602)

BREAKING CHANGE: public vis for parameters now errors

chore: cleanup integration tests (#600)

feat: expose print proof hex in wasm (#601)

fix: adds parametric tests for python bindings (#599)

refactor: bump inner col num default (#598)

refactor: simplify onnx load given tract updates (#597)

feat: match accum constraints to cuboid (#595)