crunchy 0.2.2

Crunchy unroller: deterministically unroll constant loops