This module provides the effectful (side-effect) operations for block verification, separating the computations from the main state machine logic.