v0.7.2 C/C++ memory management issues fixed

[janpfeifer]

• Fixed C/C++ mismatching malloc/new/new[] and free/delete/delete[].
  • Formatted C/C++ code using clang-format.
• Increased static size threshold for string memory leak test.
• Small StableHLO support improvements.
• Fixed and updated devel docker ('janpfeifer/gomlx_devel:latest').

---

This discussion was created from the release v0.7.2 C/C++ memory management issues fixed.