exit on validation error, allow latches in fuzzer, add large circuits
option