VECTOR_ADD signed/saturate.
Fixing tracing format to match IVM and aligned loads of doubles.
ADD_CARRY constant prop for load-CA cases.