Fix to last known bug with Smile (turned out to be wrong offset when skipping double values)

diff --git a/src/perf/TestJsonPerf.java b/src/perf/TestJsonPerf.java
index dfe49ee..2d951bb 100644
--- a/src/perf/TestJsonPerf.java
+++ b/src/perf/TestJsonPerf.java
@@ -169,6 +169,7 @@
     	jp.close();
     	jg.close();
     	byte[] smileBytes = out.toByteArray();
+    	System.out.println("Written as "+smileBytes.length+" Smile bytes from "+json.length+" JSON bytes; will verify correctness");
 
     	// One more thing: let's actually verify correctness!
     	JsonParser sp = _smileFactory.createJsonParser(new ByteArrayInputStream(smileBytes));