[Bug 1933431] Review Request: rust-crunchy - Crunchy unroller: deterministically unroll constant loops