FaultDisputeGame and PermissionedDisputeGame interface files are
annoying because the semgrep ignore comment doesn't seem to work
properly.