Fix stack inconsistency

[Leo-Besancon]

The execution stack set in execute_async_message and execute_callsc_op where inconsistent.

• [ ] document all added functions
• [ ] try in sandbox /simulation/labnet
  • [ ] if part of node-launch, checked using the resync_check flag
• [ ] unit tests on the added/changed features
  • [ ] make tests compile
  • [ ] make tests pass
• [ ] add logs allowing easy debugging in case the changes caused problems
• [ ] if the API has changed, update the API specification