I feel like this applies to specced protocols in general, but not sure about Bitcoin. The problem is that its consensus is always re-implemented from a reference client, and a bug free reimplementation is close to impossible imo.