fn reanchor_execution_finality<TX>(tx: &TX, block_number: u64) -> Result<()>where TX: DbTx + DbTxMut,