Testing : Adding property-based tests

Starting with tests of the slam-related functions in Hatch.

project.clj
-- Added dev dependency on test.check

slam_test.clj
-- Contains one 'defspec' for the hatch/slam function.

Will continue to flush out tests for this and other "slam-related"
functions.

--Tom