We always tip our servers in cash instead of adding it to the credit card slip. That way there's no paper trail and the server can report to their employer to have received whatever tip they wish.
Restaurants are already required by the IRS withhold taxes on tips, and to pay FICA taxes on tips given to employees.