Move all navigation test from navigation.txt to regular functional tests.