TestCase classes are now abstract. AllTests class added for completion.

Minor: excess empty lines removed
Autotesting framework.
Autoimport tests are now automatic.
Tests for navigation performed.