* Implement getting value for struct types. * Add tests for structs with value type memebers. * Add tests for verifying proof in struct type. Co-authored-by: nikugogoi <95nikass@gmail.com>