v0.10.1

Patch release: the prebuilt largo-full Linux binaries (the --full, Z3-verification variant) now run on stock glibc.

Fixed

• largo-full-linux-x64 and largo-full-linux-arm64 were built with gcc-13 (required for Z3 4.16's C++20 std::format), whose libstdc++ tags symbols GLIBCXX_3.4.31 — absent on stock ubuntu-22.04 and older — so the v0.10.0 full binaries crashed at startup with GLIBCXX_3.4.31 not found. The full Linux builds now statically bundle libstdc++, so they self-contain their C++ runtime and run on any glibc. The lean binaries and all 15 published crates were unaffected.

Full Changelog: v0.10.0...v0.10.1