Update error descriptions for when result sharding is unlikely to be as expected.#13

copybara-service[bot] merged 1 commit intomaingoogle/drjax:mainfrom

cl/748419213google/drjax:cl/748419213Copy head branch name to clipboard