Optimize the Transition Systme Lowering

[Nikil-Shyamsunder]

We can probably simplify the construction of the ITEs a bit. Right now the longest example is unsigned_mul which takes ~1m in release mode after I did some simple optimization tricks. It takes > 3m in Debug mode