Allow function.verify to raise exception on error.
Add ptrtoint cast in cbuilder
Fix VectorType.element