Fixed some problems with Z3 C lib and minor changes to quicksort example.