If I do a check that must be at least as fresh as some zedtoken and the cache is not at least that fresh, what work does spicedb do? Does it compute my check from scratch?