break and continu fixed and tested. Added a settings file with an optional invariant for testing loops. Fixed a bug with the call to the verifier when dealing with loops.