deleted unused test, added missing binaries for z3
refactored assertion checking to have a cleaner structure, fixed synthesis tests along the way
refactoring to share common analysis scope and call graph building code among all clients. exposed command line arguments to do assertion and annotation checking. rewrote the README to explain these changes