Add contains_recursive_proof to Recursive VK
#268
+10
−0
Merged