Add note about determinism in invariant checks