I highly doubt there's a loop.
Tunneler reaches tile.
Can I dig this?
-- Yes.
Dig tile.
-- No.
Keep walking.
He's not checking if the tile is diggable after every smack.
It doesn't seem like it'd be a hard bug to fix, but it really depends on how the logic is written.