provide diagnostic information instead of SEGV when a bound tool is disabled
Compare changes
@@ -319,6 +319,7 @@ public:
@@ -340,7 +341,13 @@ public:
Bound tools do not support disabling currently -- see #214. This MR replaces an opaque SEGV with a (hopefully informative) message as to what is about to go wrong instead.