Navigational Property Testing