Improve an error message.
Add internal key_string() function.

This can be used to print information about a tesla_key into a buffer.
Use clearer variable names.

This code is confusing; fixing the variable names might help?
More informative transition label.
Add test for assertion site instrumentation.
Add more tests.