Fixes for more complete `SigmaProtocol.connectionLost`.