feat: blockstm check pre-state in transaction state transition

[yihuang]

Description

just in case.

[codecov]

Codecov Report

❌ Patch coverage is 46.66667% with 8 lines in your changes missing coverage. Please review.
✅ Project coverage is 68.57%. Comparing base (4378603) to head (680ce69).

Files with missing lines	Patch %	Lines
blockstm/status.go	46.66%	8 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main   #25786      +/-   ##
==========================================
+ Coverage   66.64%   68.57%   +1.92%     
==========================================
  Files         924      889      -35     
  Lines       60072    57997    -2075     
==========================================
- Hits        40035    39770     -265     
+ Misses      20037    18227    -1810     

Files with missing lines	Coverage Δ
blockstm/status.go	85.71% <46.66%> (-14.29%)	⬇️

... and 40 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.