Added fuzzer for the experimental incremental synthesis stuff.