fix(rust): Interpret max_depth in proof specs as 128 if left to 0#371
Draft
romac wants to merge 2 commits intomasterfrom romac/rust/fix-max-depth-limitation
+110-23
max_depth in proof specs as 128 if left to 0#371