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.