Added pretty pictures to display and dependency statuses.
Added formal tests.