Add support for Soroban Map and Vec in the checker.
As with #72, in addition to the unit tests here, I have an on-chain E2E test based on the setter contract that I'll add in a follow-up PR once all its fields/types are supported.
Closes #46
Support for enum and struct will be a follow-up: #73
Add support for Soroban
Map
andVec
in the checker.As with #72, in addition to the unit tests here, I have an on-chain E2E test based on the setter contract that I'll add in a follow-up PR once all its fields/types are supported.
Closes #46
Support for
enum
andstruct
will be a follow-up: #73