Hey Jeff @jwouellette ,
in spite I was not tagged here, just wanna come up with the hint regarding test files or IFC Templates that are currently being used for the certification of IFC4 RV at B-Cert.
See below -> https://www.b-cert.org/Documentation/TestTemplates
In any case a good example would be helpful not only to most software developers but also to users. Agreed with @daviddelven comment as well.
Be safe and sound,
Mirbek