In addition to what you said, laying off the bottom 10% performers gives your employees a conflict of interest. Now it's better for them if their coworkers perform worse, and worse performing coworkers hurts the company. This may crop up in workers not helping each other out, or deliberately writing bad documentation.