Tests

Tests must run as part of CI
Test any small functions with unit tests/property tests as needed.
Optional: Look into where we're at with CTL automated testing.

For your PR - list all the tests you've written in the desc.