We need to implement a reproducible `reproducible-resource-limit` with steps. _Originally posted by @Halbaroth in https://github.com/OCamlPro/alt-ergo/issues/1277#issuecomment-2615744369_ This should be part of an overhaul of the timeout/steps limit system. See also #1244