Lwt_buffer.wait_until_empty should really wait until empty