Updated opt wrapper to execute gdb automatically
Small fix for opt wrapper
Commented out debugging statements; made printing BDDs vastly more efficient
Merge branch 'debug'; incorporate printing changes; comment out type assertion
Fixed usage message for opt wrapper