WyC, WyJC: Added test case While_Valid_44.

This test case tests verification in the presence of break statements.
WyC, WyJC: Added test case DoWhile_Valid_6

This test case does not currently verify, but will in the very near
future.