> Overall, no major slowdowns and a couple of decent improvements. I'm > leaning towards cleaning it up (i.e., drop those options an sticking with > the new flattener and tuple reconstruction elimination always on in the > shrinker) and checking it in. Go for it. It's a shame to slow down nucleic, which is now the only benchmark where we are significantly worse than SML/NJ. Oh well.