Rust: Replace recursion through forall with ranked recursion
#6486
| Job | Run time |
|---|---|
| 14s | |
| 14s |
forall with ranked recursion
#6486
| Job | Run time |
|---|---|
| 14s | |
| 14s |