Make sure expression statements that generate ctrl flow are wellformed

It took me almost a whole day to track this down, and the fix should only fix some of the crashes I've seen, but I can't reproduce the remaining crashes anymore, so I'm somewhat cautiously checking this off as "fixed".

Also, check all graphs after construction. I've seen enough bugs in there to want this in. We may at some later date decide to disable that though.