## Description 

Add a standalone light client verification function. It takes a
structure that contains some targets to verify and a proof material, and
returns Ok() if they verify or an error otherwise. It takes dependencies
only on Sui types for the moment.

## Test plan 

We have new unit tests.