[NFC][OCaml] Fix documentation for verify_function and const_of_int64

Documentation of verify_function is incorrect and that of
const_of_int64 is incomplete.

Reviewed By: whitequark

Differential Revision: https://reviews.llvm.org/D77884