Add differential testing: Crane C++ vs Rocq OCaml extraction#42

CharlesCNorton wants to merge 1 commit intobloomberg:mainbloomberg/crane:mainfrom

CharlesCNorton:differential-testsCharlesCNorton/crane:differential-testsCopy head branch name to clipboard