Fine-tune flag lowering
The flag lowering pass described in #11 (closed) will need to have some heuristic tuning done before we can really get significantly better than the naïve approach we use today. That's something we want to do before we call IBC done but not really an early task.