Interrupting "opera check evm" breaks Carmen database

[thaarok]

Interrupting "opera check evm" tool in the middle of verifyLastState function (where the state db is opened) breaks the archive state, as described in Fantom-foundation/Carmen#679

$ opera check evm --datadir /var/opera/mainnet-carmen-archive-37M-experiment/ --statedb.impl carmen-s5 --archive.impl s5
WARN [12-10|21:19:40.690] Please add '--cache 64358' flag to allocate more cache for Opera. Total memory is 128717 MB. 
INFO [12-10|21:19:40.690] Maximum peer count                       total=50
INFO [12-10|21:19:40.690] Smartcard socket not found, disabling    err="stat /run/pcscd/pcscd.comm: no such file or directory"
archive writing thread started
archive flush done
^C
$ opera check evm --datadir /var/opera/mainnet-carmen-archive-37M-experiment/ --statedb.impl carmen-s5 --archive.impl s5
WARN [12-10|21:19:55.569] Please add '--cache 64358' flag to allocate more cache for Opera. Total memory is 128717 MB. 
INFO [12-10|21:19:55.569] Maximum peer count                       total=50
INFO [12-10|21:19:55.569] Smartcard socket not found, disabling    err="stat /run/pcscd/pcscd.comm: no such file or directory"
CRIT [12-10|21:19:57.600] Verification of the Fantom World State failed err="verification of the last block failed: failed to open carmen live state in /var/opera/mainnet-carmen-archive-37M-experiment/carmen: unexpected EOF"

We should make sure the Carmen database is closed correctly even on Ctrl+C during any phase of the verification.