we probably also want to end coverage when we stop the app at the end of a session, right, even if the user hasn't done so already? and just throw away the data.