fixed a bug due to wrong update of isInstrumentedCaller in analysis.js.  Run python scripts/testspv.py.  Added more tests to test robustness of shadow value framework.