Improvements to the fuzzy benchmark

[juntyr]

• [ ] Only allow cases that have the same meaning on both branches
• [ ] Save the cases to files (and don't spam stdout)
• [ ] Output the summary somewhere more visible
• [ ] Provide a download of the case files