oopsla-24 artifact

This version runs OCaml 4.14.0 and is intended to accompany the paper Semantic-Type-Guided Bug Finding in OOPSLA 2024.