Test cases for _hal returning string

The previouly-existing test file, test_a00_sanity.py, is now called
test_a00_raw.py, and contains tests for _hal_raw(), which returns Python
objects. The new file, test_a00_string.py, tests _hal(), which returns
strings.