I was under the impression... that witness script in op_if op_endif was unreachable, in other words the computer just ignored large blocks of op_if of_endif freeing up resources.

Large inscriptions... make large blocks easier to verify rather than harder. No?