Caveats

  There are some situations where the checker does not correctly emulate or execute. Here we list a few known ones. Some can (and in due time will) be fixed, others are inherent to the methods used.