Fix verify execution result

[zhangchiqing]

This PR:

• Skip unexecuted sealed block when verifying execution result with the util commands. This is to solve the problem that when automation is trying to verify the last X sealed blocks, it fails because the last sealed block is not executed.
• Raise error if the chunk data pack db is not initialized, useful when specifying with a wrong chunk data pack dir
• Log the specified chunk data pack dir

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 40.00000% with 33 lines in your changes missing coverage. Please review.

Project coverage is 40.96%. Comparing base (541d744) to head (938143b).

Files with missing lines	Patch %	Lines
storage/pebble/open.go	59.45%	10 Missing and 5 partials ⚠️
cmd/util/cmd/verify_execution_result/cmd.go	0.00%	13 Missing ⚠️
engine/verification/verifier/verifiers.go	0.00%	5 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #6804      +/-   ##
==========================================
+ Coverage   40.95%   40.96%   +0.01%     
==========================================
  Files        2093     2093              
  Lines      184432   184478      +46     
==========================================
+ Hits        75528    75570      +42     
- Misses     102582   102583       +1     
- Partials     6322     6325       +3     

Flag	Coverage Δ
unittests	40.96% <40.00%> (+0.01%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.