added memory limit to z3 process to avoid z3 getting stuck
disabled all tests except for kernelc