A recorded but non certified Cardano transaction creates an error in prover

[jpraynaud]

Why

A Cardano transaction recorded but non certified yet make the prover return a global error when it should just mark the transaction as non certified:

Internal error of the Aggregator

Caused by:
    MKMap could not replace non-existing key

The error occurs with a transaction:

• recorded
• not certified yet
• or in the last block of the last signed block range

What

Make the prover succeed even if a transaction is recorded and not certified yet (the same way as for non recorded yet transaction).

How

• Fix the error with Cardano transaction importer does not import the last block advertised as certified #1785
• Benchmark the performances and verify there is no regression

[jpraynaud]

Blocked by #1785 which should fix the problem

[jpraynaud]

Fixed with #1785