main
Clean up CFG_NODE_COUNT where it's not needed
robutsness: don't visualize history if there is any failure during linearization
Replace math/rand with Antithesis's SDK for the test client