Add test coverage for new navigation

[m4pl]

Cover the reducer, intent parsing, key serialization, back behaviour and the entry-point contracts.