Bug: miner stops drilling on torch/switch/redstone etc.

True, it does not dig through any materials which cannot be harvested with a mining drill.

The mining drill can actually harvest it, I adjusted the miner to take tool-independent mineable blocks into account.

The fix will be in the next release.