Handle parsing error in nested call and tx levels correctly

[jeanmon]

This task consists first in checking whether parsing errors are correctly handled since we implemented nested calls (bot TS and cpp). We also want to be able to prove a TX and include it in a block if there is a parsing error. Especially consider the corner case where the parsing error happens for the first instruction in the TX.

Secondly, implement some fixes for potential discovered gaps.