Remove Stats.time from Access
Remove Stats.time from Access

"access compare" is on a hot code path during race reporting, so the time wrapper is a lot of overhead.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer