added class to libtw to calculate a treedecomposition, that aborts when
hitting max treewidth. useful for checking whether a tw within bounds
can be found without having to calculate the exact decomp