12:20:27stassatsi think i have a solution for checkgen and constraint interference, and potentially speeding up compilation
12:21:19stassatswe start generating type checks for casts when we think we've reached a fixed point (or a counter ran out), but then the generated code needs to be compiled and optimized as well
12:22:18stassatsso, after reaching a fixed point, only the blocks generated by checkgen should be optimized, until there's no more type-checks