Swap 'warn' for 'debug' with close_connection error

This change will avoid spamming unnecessary logging while performing Lemma Verification.