Implement receipts and logs

[hratoanina]

This PR implements receipts and logs:

• The prover now supports loading, inserting and hashing the receipt trie.
• A receipt is generated after each transaction, and inserted in the receipt trie.
• Logs are generated after a (successful) transaction and included in the generated receipt.
• Logging syscodes are implemented.
• Transaction and block Bloom filters are generated and updated after each transaction.

Most changes are additive, though process_normalized_txn (and internal functions) now return success and leftover_gas.

[wborgeaud]

Looks great, thanks!

Just need to update some of the tests because of #1172.

[LindaGuiga]

Since the MemoryCTL fix was merged, we need to add BlockMetadata to the GlobalMetadata memory writes in apply_metadata_and_tries_memops for soundness. We will be adding this ti the current PR shortly.

[Nashtare]

I don't understand the point of the last commit. The metadata are arrays, and as such should be serialized as arrays instead of vectors (cleaner and cheaper, we don't store the extra len).

[LindaGuiga]

I don't understand the point of the last commit. The metadata are arrays, and as such should be serialized as arrays instead of vectors (cleaner and cheaper, we don't store the extra len).

On the main branch, everything is read and written as vecs, the arrays come from a rebasing mistake I made.

[LindaGuiga]

I don't understand the point of the last commit. The metadata are arrays, and as such should be serialized as arrays instead of vectors (cleaner and cheaper, we don't store the extra len).

On the main branch, everything is read and written as vecs, the arrays come from a rebasing mistake I made.

Sorry about that, my mistake, they were supposed to be changed to arrays!