Increase rsqrt precision

The tracer now computes `rsqrt(x) = isqrt(S³ / x)` in i64 using the model's actual scale factor (e.g. S = 1 << 12 = 4096 at scale 12). This gives near-perfect agreement with the f32 reference.

We need to update the prover accordingly