fix up test for KVServer and modify tex for task 4