Add compile time type assertions for `hasSubMessages` interface

[chipshort]

These just make sure that we get a compiler error if we ever change the interface.