[OCaml] Add a typecheck typemap for SWIGTYPE

This fixes many of the remaining warnings in the OCaml test suite.

Add multiple runtime tests.
8 files changed