SC: Add comprehensive tests using test-contracts in C++

[linh2931]

• Improved the test infrastructure to further simplify writing tests using test-contracts in C++.
• Added more tests:
  1. a sequence of sync calls
  2. nested sync calls
  3. sync call to the same receiver
  4. recursive sync calls under config::default_max_sync_call_depth
  5. recursive sync calls over config::default_max_sync_call_depth
  6. sync calls without return values
  7. sync calls without parameters
  8. sync calls without parameters and return values
  9. sync calls made on unknown receivers
  10. the called function not tagged by call
  11. the called function tagged by call and action
  12. the called function stuck in infinite loop
  13. the called function crashes
  14. the call wrapper does not exist
  15. a sync call inserting a record into a table
  16. a sync call reading a record from a table
  17. a read only sync call

Resolves #1615

The test contracts were compiled by the latest CDT branch call_abi in PR AntelopeIO/cdt#353