Fix verifier, reduce memory usage when creating large numbers of ssa variables