No mention of QuickCheck? I thought that was the gold standard of compiler fuzzing, or is this only focused on C/C++ compilers?