feat(storage): add method to check invariants on RocksDB tables

[fgimenez]

Closes #20153

Adds invariant checking for RocksDB tables, similar to the existing check_consistency and ensure_invariants methods for static files.

• Add first() and last() methods to RocksDBProvider for efficient table bounds checking
• Add check_consistency() method that validates RocksDB tables against MDBX stage checkpoints
• For TransactionHashNumbers: maps max tx_number -> block_number via TransactionBlocks to detect if RocksDB is behind the TransactionLookup checkpoint
• For StoragesHistory: checks if table is empty when IndexStorageHistory checkpoint indicates data should exist
• Returns an unwind target block number when inconsistencies are detected

[codspeed-hq]

CodSpeed Performance Report

Merging #20340 will not alter performance

_{Comparing fgimenez/rocksdb-table-invariants (ac1cd59) with main (c65df40)}

Summary

✅ 110 untouched
⏩ 7 skipped¹

Footnotes

1. 7 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩