Autotesting framework.

Minor: code conventions
Autoimport tests are now automatic.
Tests for navigation performed.
-- abandon guava