fixed a bug in multiex related to bounding the number of paths within a function.  If the number of paths is greater than the bound, path constraint of the function is not computed properly.

Created automated tests for multiex.  See scripts/testmultiple.py.
fixed a bug in instrumentation due to getters/setters.
See tests/unit/gettersetter.js
added tests for 10 octane benchmarks.