Make sure expression statements that generate ctrl flow are wellformed

Also, check all graphs after construction. I've seen enough bugs in
there to want this in.
Update mj-test submodule
Merge pull request #222 from TehMillhouse/ctrlflow_leakage

Make sure expression statements that generate ctrl flow are wellformed