- add output folder for unit tests
- increase k to 10 for the checker script
- add a time measurement for each k fuzzer run
- add AAG formatter option to the main class