Added two verification functions. One checks for disconnected compartments and other of floating current sources