These tests check our .may_include checking, and our header file
checking.

They do not pass yet: we have a bug in our filtering code.