fix(rust): Interpret max_depth
in proof specs as 128 if left to 0
#371
+110
−23
max_depth
in proof specs as 128 if left to 0
#371