Well - that's kinda what testing is for. It would remain to be seen whether or not this proves to really be the intractable problem you're imagining it to be -

Well - that's kinda what testing is for. It would remain to be seen whether or not this proves to really be the intractable problem you're imagining it to be - let's not forget that any other method will also produce bugs. The question is whether they're produced at the same rate or not. I have no evidence to really say whether or not what you're imagining would be prohibitive to using this method but my (strong) opinion is that it wouldn't be (time will tell as I put this into practice though, and I'll be following up with more posts about it).