Integrate the ProverService with the ForkManager

[bkolad]

The StateTransitionRunner currently delegates the responsibility of proving the correctness of the state transition to the ProverService upon receiving each DA block. However, the depicted process needs to be revised once the ForkManager is implemented.

• The ProverService::send_proof_to_da is not yet implemented; it is currently a placeholder for the actual logic.
• The initiation of proof generation and submission to the DA should only be triggered for finalized DA blocks.
• The cancellation of proving jobs for submitted witnesses is not supported, but this functionality will be added.

All of the above will be implemented once the ForkManager is ready. (see: #1023).