Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings