feat(recursion): memory access timestamp constraints

feat(recursion): memory access timestamp constraints #2240