No Free Lunch in LLM Watermarking: Trade-offs in Watermarking Design Choices