More changes to make gradapply work
Move optimization parameters to function call.
Add timing. Minor reorganization of optimizations.
Identify redundant constraints without using Z3.
Fix conflicts in check-symex-zoobar.py and fuzzy.py.
Remove unnecessary imports in check-symex-zoobar.py.
Merged conflicts with master
Coex on gradapply is currently working - 6 paths and 77 iterations
Added more paths
Merge