Fix incorrect vector size accounting
(inherited bug from r-instrumented-2.12.0)
Add some redundancy to trace_summary so the Java tool finds some additional data