Integrate CReduce directly
Integrate CReduce, so that we have a flag
--reduce (with optional time out argument) that tells mjtest to reduce the failing test cases and output them.
The reduction takes some time, but would probably reduce the bug finding effort.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information