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