Added Assumption.assertNotEmpty/IsEmpty for String. Changed such assertions across TEAMMATES to use the functions.