v3.7.0
build(deps): update go version to 1.25.5
Fix the antithesis build failure in #21473
robutsness: don't visualize history if there is any failure during linearization
Clean up CFG_NODE_COUNT where it's not needed
Update robustness and antithesis documentation.