Refactored TaintOps to use dynamic arrays for Switch instructions