Added memory support to the Slugs->AIG spec translator and the safety fuzzer
Smaller improvements for the interactive strategy, the slugs-against-aisy fuzzer not uses ABC to minimize the AIG.