Fixed out of bounds asserts for real transforms.
Added rules for (a - b)*-1 -> b - a and constant ramps modulo constants.
Fixed bug in Block visitor that caused equal IR to return non-equal.
More aggressive simplification for (x - y)*-c -> (y - x)*c, more aggressive nested if simplification, merged adjacent ifs with identical conditions.
Implemented higher radix transforms!
Removed twiddle factor for r = 0.