New test harness for libtesla tests.

Use llvm-lit to run unit tests for libtesla. For now, this change is just about integrating unit tests with the rest of the build, but this infrastructure also makes sense for writing bigger tests of TESLA itself.