Overall extremely happy with the validation run. Keep in mind the stack and program were entirely rewritten, along with a big chunk of interpreter. This produced a variant stack, so there is no type conversion in the script processor, except as necessary in non-standard scripts where there is inherent type conversion. There is also no vector copying, as all byte vectors are moved via shared pointer, including within witness data, script and as generated by script (eg hashing). Huge changes and nothing but a couple of inverted bools so far.