GitLab

Added new recorded time for malleability. It records the time spent in user redistribution. In addition, bugfixes to ensure comm are correctly disconnected