partly ported to cvc4. some tests are failing.
fixed a couple bugs.  Most tests are passing.  tests.StringComplexTest1 is failing due to insufficient memory.