Clean up some static references to pxt pages in nav tests