fixed bug in StatCollector noticed by Liang.
I throw an exception if suspendTimer is called twice in a row.
count number of multiex operations
fixed a bug related to placement of
stats.resumeTimer("total");
fixed a bug to report state sharing precisely.
Merge branch 'symfront' of https://github.com/SRA-SiliconValley/jalangi into symfront