Suspicious trace unmatch

https://github.com/facebookresearch/CUTracer/actions/runs/19976291371/job/57293158898

Mode 0/1/2 are different trace print modes. 

0: trace file is pure text.
1: ndjson + zstd compression
2: ndjson

Their record numbers are supposed to be exact same because our instrumentation are not supposed to change instruction executions.