Testcase generation extension.

src/funcheck/FunCheckPlugin.scala

src/purescala/Settings.scala

src/purescala/Trees.scala

src/purescala/Z3ModelReconstruction.scala

src/purescala/Z3Solver.scala

src/purescala/testcases/Main.scala