store timings for used_theories in canonical order, with reconstructed store.read_theories;