Added actual test code, replacing dummy code.
Use the attribute methods in the test file.
Changed 'covers' attribute to ArrayRef[Str].
Changed find_essentials back to returning the essentials hash.  The
recursive_solve() function was using it inline, and I'm not ready
to touch that block of code.
Note changes.