I would prefer to rely on languages which can provably ensure all cases are handled than to rely on gotos to artificially improve a complexity metric. Really.
Aversion to a technology is not the same as mastery of that technology. goto has its time, and place. Certifiably, so.
Have a look at ATS.
I didn't say that you'd leave the cases untested. I'm just saying that in some languages the compiler is more of an ally than in others.
I'll write to Galois and Praxis to tell them that they're disqualified from writing SIL-4 software.