Logic Tests

These tests are used to combine different SCTs. For example, test_or takes one or more SCTs, and fails only if all of those SCTs fail.