I have also been through the test cases which are currently failing verification, and classified most of them. In quite a few cases, this resulted in yet more issues being added to GitHub. An example of an interesting issue I found is the following: