Update to latest libcork API

I made some slight changes to libcork's 128-bit integer functions.