* Move some logic to RestartableFinalityProofsStream * Move some logic to `Transaction` * Avoid unnecessary split_off