make snarky-rs integration work on the mina side (snarky tests pass) #803

Closed o1-david closed 1 year ago