Mavericks was a work-in-progress shitshow of a release, that's probably why it never got a "tock". Apple was keen to let people forget.
Los Gatos translates as "The Cats" so it seems like it would have been a nice way to end the big cat naming scheme.