Added fuzzer against the "Aisy" AIG-based synthesis tool