add tests for preAcceptedProcess, completed, add `update seq' in handlePreAcceptReply