I implemented swapping the board if there are no possible circuits and I could not get it to trigger naturally, even generating 100s of thousands of random boards. So I am quite confident that there likely was a solvable path.