Tipping is actually to nobody's advantage. It's inconvenient for the customer, sets incentives for the waiter that aren't always in line with what's best for the restaurant as a whole and introduce unpredictability for the wait staff.