Update BDD code to new libcork API

Libcork now treats `cork_hash_table` as an opaque data type, so we need to update the BDD code to adhere to the new API.