[trust-quorum] tla: download jar, add check.sh, and add a no-crash cfg exposing a model bug - #11600

control: job assigned to worker 01M5Z4M062T088MBXRX69DN79A [factory aws, i-09bac71f51314c877] (queued for 30 s)
...
task: starting task 0: "setup"
task: process exited: duration 18693 ms, exit code 0
...
task: starting task 1: "rust-toolchain"
task: process exited: duration 8448 ms, exit code 0
...
task: starting task 2: "authentication"
task: process exited: duration 55097 ms, exit code 0
...
task: starting task 3: "clone repository"
task: process exited: duration 7159 ms, exit code 0
...
task: starting task 4: "build"
...
| + [[ linux == \i\l\l\u\m\o\s ]]
| + rm -rf /var/tmp/omicron_tmp/crdb-base-build
| + unset TMPDIR
| + echo 'files in /var/tmp/omicron_tmp (none expected on success):'
| files in /var/tmp/omicron_tmp (none expected on success):
| + find /var/tmp/omicron_tmp -ls
|    774145     20 drwxr-xr-x   2 build    build       20480 Oct 27 17:28 /var/tmp/omicron_t [...]
| + rmdir /var/tmp/omicron_tmp
task: process exited: duration 1825023 ms, exit code 0
|W| found 5 output files
|W| uploading: /work/cargo-build-analysis.jsonl (1816820 bytes)
|W| uploaded: /work/cargo-build-analysis.jsonl
|W| uploading: /work/environment.json (108 bytes)
|W| uploaded: /work/environment.json
|W| uploading: /work/oxidecomputer/omicron/target/nextest/ci/junit.xml (638087 bytes)
|W| uploaded: /work/oxidecomputer/omicron/target/nextest/ci/junit.xml
|W| uploading: /tmp/nextest-run-archive.zip (3269536 bytes)
|W| uploaded: /tmp/nextest-run-archive.zip
|W| uploading: /tmp/nextest-chrome-trace.json (4431219 bytes)
|W| uploaded: /tmp/nextest-chrome-trace.json