Set recursive to false by default in Interface::BDD#deref
Add native binding to `ReduceHeap`
Add native binding to `bddPrintCover`
Downgrade ffi to 1.0