Five years ago, both diners and restaurant workers pushed back against efforts to go tip-free — efforts that could play out differently in a post-pandemic world.