Quick improvement to the test arena

A quick TEST_CHECK macro to keep the boilerplate down. Rough in some
psuedocode, and start defining tests.