#1591 (tracked by #1543) has set up infrastructure for writing sync call tests using contracts in C++. It already contains tests for passing complex parameters and return sync call results.

This issue is a continuation of that work and implements more tests using C++ test contracts, including but not limited to

1. Sequential sync calls
2. Nested sync calls
3. Recursive sync calls
4. Sync calls to functions in the same receiver
5. Sync calls having void return
6. Sync calls without any parameters
7. Sync calls having void return and without any parameters
8. Max allowable call depth validation
9. Read-only sync calls
10. Sync calls to unknown contracts
11. Sync calls to unknown functions
12. Sync calls to functions which require authorization
13. Called functions crash
14. Called function stuck in infinite loop