Check NavigationModel FQN at compile time

[dlemures]

We can check that the NavigationModel used by an activity has the right FQN at compile time. That way it makes it easier to avoid those issues.