For specpaxos protocol, is there a limit to the size of return string? We want to have a relatively long string, like thousands of bytes.