Alex, With your VTA merge, you added the -gtoggle switch. I've read the documentation for it and while I can parse what it says, I have no idea what this flag is useful for. I've seen it used during bootstraps and the documentation claims something about -fcompare-debug. But I cannot imagine this being useful in general.
If it's really useful, could you add a rationale in the documentation? If it's only useful for the very limited application of -fcompare-debug, I'd say we should toss both out and make them internal and/or --param. Anything that hides them from users. In fact, it'd be nice to hide some other flags, but that's another problem. Diego.