The command "tlctl session list" doesn't always show the most up-to-date list of sessions. Rather, it shows the sessions as they were the last time a verify_sessions was run. We should allow admins to refresh the list if they want to.