A Branch and Bound Algorithm for Exact, Upper, and Lower Bounds on Treewidth