Support opaque cork_hash_table values

Libcork now treats `cork_hash_table` as an opaque data type.  This
patch updates the BDD code to use this new interface.